Programming logic : with an introduction to the PL/CV verifier - Constable R L; O'Donnell M J (Cambridge C U P, 1978)
Keywords: Computer science; Programming logic