Fully Abstract Models of Programming Languages (1988)

by A Stoughton