1. J.W.de Bakker: Semantics of Programming Languages. — Mathematisch Centrum Amsterdam, 1968 (unpublished).
2. H. Bekić: Mechanical Transformation Rules for the Reduction of Algol to a Primitive Language M and their Use in Defining the Compiler Function. — IBM Laboratory Vienna, Techn. Rep. TR 25.051, 1965.
3. H. Bekić, K. Walk: Formalisation of Storage Properties.— To be published in: E. Engeler (Ed.): Symposium on the Semantics of Algorithmic Languages, Springer Lecture Notes.
4. R.M. Burstall: Formal Description of Program Structure and Semantics in First Order Logic.— In: B. Meltzer, D. Michie (Eds.): Machine Intelligence 5, pp. 79–98, Edinburgh 1969.
5. R.M. Burstall, P.J. Landin: Programs and their Proofs: an Algebraic Approach.— In: B. Meltzer, D. Michie (Eds.): Machine Intelligence 4, pp.17–43, Edinburgh 1968.