A programming logic with an introduction to the PL/CV verifier - Constable, Robert Lee 1952-; O'Donnell, Michael J. (Winthrop Publ., 1978)
Literaturverz. S. 370 - 381