Semantics of Local Variables (1992)

Cached

Download Links

by P.W. O'Hearn , R. D. Tennent
Citations:36 - 5 self