"Symposium on Semantics of Algorithmic Languages" - читать интересную книгу автора (Ed; Eckman, Ed Dold)