Full abstraction in the lazy lambda calculus - Abramsky, Samson 1953-; Ong, C.-H. L. (1992)