Towards a mathematical operational semantics, in:Proc. LICS’97 (1997)

by D Turi, G D Plotkin