Program construction and verification - Backhouse, Roland C., 1948- (Englewood Cliffs, N.J. : Prentice-Hall International, 1986)
Includes index.
Bibliography: p. 220-223.
Keywords: Computer programming