Reasoning about programs with e ects (1990)

by I Mason, C Talcott
Venue:In Proceedings of Programming Language Implementation and Logic Programming, LNCS 582