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

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

9783540471943


Computer Science