Imperative Effects from a Pure Functional Language. - Lee McLoughlin; E. S. Hayes (Functional Programming, 1989)