"Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings " - читать интересную книгу автора (Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt)