Reasoning about Programs with Effects (1990)

by Ian Mason, Carolyn Talcott