Types and e ects. towards the integration of functional and imperative programming (1987)

by J M Lucassen