Toward fully abstract semantics for local variables (1988)

by Albert R Meyer, Kurt Sieber
Venue:In Proc. ACM Symposium on Principles of Programming Languages