An Introduction to the PL/CV2 Programming Logic - Robert L. Constable; Scott Johnson; C. D. Eichenlaub (Springer, 1982)