References, local variables and operational reasoning (0)

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