References, Local Variables and Operational Reasoning (1992)

Cached

Download Links

by Ian A. Mason , Carolyn L. Talcott
Venue:In Seventh Annual Symposium on Logic in Computer Science
Citations:29 - 4 self