Types and effects, towards the integration of functional and imperative programming (1987)

by J M Lucassen