Symposium on Semantics of Algorithmic Languages - Engeler, E. (Lecture Notes in Mathematics Ser.)