Operational Semantics and its Denotational Dual (1996)

by Functorial