Mathematical theory of program correctness
Bakker, J. W. de(Jacobus Willem de),1939-
De Bruin, Arie.
Zucker, Jeffery.
Englewood Cliffs London Prentice-Hall
1980
Bibliography: p.466-490.- Includes index
Computer programs