Types and Effects: Towards theIntegration of Functional and Imperative Programming (1987)

by J M Lucassen