Reasoning about Programs with Effects (1990)

Cached

Download Links

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