Reasoning about Functions with Effects (1997)

by Carolyn Talcott
Venue:See Gordon and Pitts