An introduction to the PL/CV2 programming logic - Constable, R.L (Lecture Notes in Computer Science ;, 1982)