Loeckx, Jacques, The foundations of program verification / Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer. - Stuttgart : B. G. Teubner, 1987. - ix, 230 p. : ISBN: 0471912824 Subjects--Topical Terms: Computer programs Dewey Class. No.: 005.14 / Fo,2