Semantics of Local Variables (1992)

Cached

Download Links

by P.W. O'Hearn , R. D. Tennent
Citations:35 - 4 self