1. 1. DE BAKKER J. W., Recursive Programs as Predicates Transformers, in Formal Descriptions of Programming Concepts, E. J. NEUHOLD éd., North Holland, 1978.5379050392.68006
2. 2. DE BAKKER J. W., Semantics and Termination of Non Deterministic Recursive Programs, in Automata, Languages and Programming, Edimburgh, 1976.0354.68021
3. 3. CHLEBUS B. S., Completness Proofs for Some Logics of Programs, Z. Math Logik und Grundlagen Math., vol. 28, 1982, p. 49-62.6499070491.03008
4. 4. COUSINEAU G., Les arbres à feuilles indicées : un cadre algébrique de définition des structures de contrôle, Thèse d'état, Paris, 1977.
5. 5. COUSINEAU G., An Algebraic Definition of Control Structures, Theoretical computer science, vol. 12, 1980.5851110456.68015