Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt

Mathematical Foundations of Programming Semantics - 1994 - Springer Berlin Heidelberg 1994 - Lecture Notes in Computer Science .

9783540484196


Computer Science