Introducing PASCAL - Pollack, Seymour V. (Holt, Rinehart, and Winston, 1983)