Plotkin and Abadi (1993)
Plotkin G.D. and Abadi M. (1993)
A logic for parametric polymorphism
In [_BG93], pp. 361-375