Reasoning about Programs with Effects (1990)

Cached

Download Links

by Ian Mason , Carolyn Talcott
Citations:12 - 6 self