Full abstraction in the lazy lambda calculus (1993)

by S Abramsky, C-H L Ong
Venue:Inform. and Computation