Title: A programming logic
First published: 1978
Subjects: Computer programs, Logic, Symbolic and mathematical, PL/CV (Computer program language), Symbolic and mathematical Logic, Testing
LC classification: QA76.73.P252 C66