1. Ashcroft, E., and Manna, Z. The translation of ‘go to’ programs to ‘while’ programs. Information Processing 71, Ljubljana. 1971.
2. Cooper, D. C. Programs for mechanical program verification. Machine Intelligence, Vol. 6, Edinburgh University Press, 1970.
3. Dennis, J. B. Programming generality, parallelism and computer architecture. Information Processing 68, North-Holland, Amsterdam 1969, pp 484–492.
4. Engeler, E. Structure and meaning of elementary programs. Symposium on the Semantics of Algorithmic Languages, 1970
5. Fosseen, J. B. Representation of Algorithms by Maximally Parallel Schemata. M.S. Thesis, Massachusetts Institute of Technology, Cambridge, Mass., June 1972.