Interactive Functional Programs: A Method and a Formal Semantics (1992)

by Simon Thompson
Venue:Research Topics in Functional Programming