Program construction and verification
Backhouse, Roland C.(Roland Carl)1948-
Englewood Cliffs London Prentice-Hall
c1986
Bibliography: p221-223. - Includes index
Computer programs.
Computer programs