Fully abstracts models of programming languages - Stoughton, Allen (Research notes in theoretical computer science, 1988)