An introduction to the PL/CV2 programming logic - Constable, R.L (Springer Verlag, 1982)