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

by J M Lucassen