Extended natural semantics (1993)

by J Hannan
Venue:J. of Functional Programming