Fully Abstraction in the Lazy Lambda Calculus (1989)

by S Abramsky, L Ong