Symposium on sematnics of algorithmic languages - Dold, Albrecht; Eckmann, B. (Lecture Notes in Mathematics ;, 1971)