Foundations of program verification - Loeckx, Jacques; Sieber, Kurt (Chichester, New York John Wiley, 1984)
Bibliography : P. 222-226
Keywords: Computer Programs