"Symposium on Semantics of Algorithmic Languages" - читать интересную книгу автора (E. Engeler)