Mathematical theory of program correctness - Bakker, Jaco de (Englewood Cliffs, New Jersey Prentice-Hall, 1980)
Bibliography : P. 477-490
Keywords: Computer Programs -- Correctness; Logic, Symbolic And Mathematical