Extended natural semantics (1993)

by John Hannan
Venue:Journal of Functional Programming