"Mathematical Foundations of Programming Semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings " - читать интересную книгу автора (Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt)