D. Knuth. Symp. on Semantics of Algorithmic Languages, volume 188 of Lecture Notes in Mathematics, Springer-Verlag, New York--Heidelberg--Berlin, (1971)
M. Gaudel. Int. Coll. on Formalization of Programming Concepts, volume 107 of Lecture Notes in Computer Science, Springer-Verlag, New York--Heidelberg--Berlin, Peniscola.(April 1981)