Edinburgh LCF (1979)

by M Gordon, R Milner, C Wadsworth
Venue:LNCS 78, Springer-Verlag Publishing Company