References, local variables and operational reasoning (1992)

by Ian A Mason, Carolyn L Talcott
Venue:In Seventh Annual Symposium on Logic in Computer Science. IEEE