Fully abstract models of programming languages (1988)

by A Stoughton
Venue:Research Notes in Theoretical Computer Science