References, local variables and operational reasoning (1992)

by I A Mason, C L Talcott
Venue:in Seventh Annual Symposium on Logic in Computer Science. IEEE