Fully abstract models of the typed -calculus, Theoretical Computer Science 4 (1977)

by R Milner