Operational reasoning in functions with local state (1998)

by A M Pitts, I D B Stark
Venue:Higher Order Operational Techniques in Semantics