A programming logic with an introduction to the PL/CV verifier - Constable, Robert L. (Winthrop, 1978)
Incluye índice