Fully abstract models of programming languages - Stoughton, Alley (Research notes in theoretical computer science., 1988)