"Mathematical Foundations of Programming Semantics: International Conference Proceedings " - читать интересную книгу автора (Michael G. Main, Austin C. Melton, Michael W. Mislove)