Simple program schemes and formal languages - Engelfriet, Joost (Lecture notes in computer science, 1974)