C.P.Wadsworth: Edinburgh LCF, Springer-Verlag (1979)

by R Milner M J Gordon
Venue:Lecture Notes in Computer Science, n.78