Symposium on sematnics of algorithmic languages - Dold, Albrecht (Springer Verlag, 1971)