TY - BOOK AU - Constable R L AU - O'Donnell M J TI - Programming logic : with an introduction to the PL/CV verifier SN - 0-87626-726-6 U1 - 005.131 PY - 1978/// CY - Cambridge PB - C U P KW - Computer science KW - Programming logic ER -