The equivalence of two semantic definitions: a case study in LCF (1983)

by A J Cohn
Venue:SIAM Journal of Computing