Symposium on semantics of algorithmic languages edited by E. Engeler. - Engeler, Erwin (Lecture notes in mathematics (Springer-Verlag) ;, 1971)