Symposium on Semantics of Algorithmic Languages (Lecture Notes in Mathematics, Band 188)