1. Courcelle B. et J. Vuillemin. “Semantics and Axiomatics of a Simple Programming Language”. Rapport Laboria n° 60 1974.
2. De Roever, W.P. “Operational and Mathematical Semantics for first-order Recursive Program Schemas”. (Private Communication).
3. J. Engelfriet. A note on infinite trees. Informations Processing Letters, vol 1, n°6, December 1972.
4. Kahn G. “A Preliminary Theory for Parallel Programs”. (Rapport Laboria n° 6, Janvier 1973).
5. J. Kral. “Equivalence of modes and the Equivalence of Finite Automata” Algol Bulletin n°35, March 1973, (34–35).