Main, M Melton, A Mislove, M
Mathematical foundations of programming language semantics - Berlin Springer-Verlag - Lecture notes in computer science ; 00298 .
681 LNCS
Mathematical foundations of programming language semantics - Berlin Springer-Verlag - Lecture notes in computer science ; 00298 .
681 LNCS