S. Abramsky, The lazy lambda calculus, Research Topics in Functional 385 Programming, pp.65-117, 1990.

S. Abramsky, Abstract interpretation, logical relations and Kan extensions, J. Log, vol.387