The foundations of program verification
Loeckx, Jacques.
Sieber, Kurt.
Stansifer, Ryan D.
Stuttgart Teubner Chichester Wiley
c1984
Bibliography: p222-226. - Includes index
Computer programs