Types, bindings and parameters in a persistent environment (1988)

by M P Atkinson, R Morrison