Steven A. Vere: Composition of relational productions for plans and programs. Int. J. Parallel Program. 8(2): 149-179 (1979)