Book

An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)

by R. L. Constable, S. D. Johnson, C. D. Eichenlaub