Correspondence between Operational Semantics and Denotational (1995)

by L Ong
Venue:Semantics, Handbook of Logic in Computer Science, Vol.4, pp.269--356