Melton, A., Ed.
Mathematical foundations of programming semantics,proceedings, 1985 - Berlin Springer-Verlag - Lecture notes in computer science ; 00239 .
681 LNCS
Mathematical foundations of programming semantics,proceedings, 1985 - Berlin Springer-Verlag - Lecture notes in computer science ; 00239 .
681 LNCS