Parametricity and local variables (1995)

by P W O’Hearn, R D Tennent
Venue:J. ACM