New steps towards full abstraction for local variables (1993)

by K Sieber
Venue:In ACM SIGPLAN Workshop on State in Prog. Langs