Title: An introduction to the PL/CV2 programming logic
First published: 1982
Subjects: PL/CV (Computer program language), Verification, Computer programs