Formal methods of program verification and specification - Berg, Helmut K. (Englewood Cliffs, N.J. : Prentice-Hall, 1982)
Includes bibliographical references and index.
Keywords: Computer programs -- Verification; Computer programs -- Specifications