Reasoning about rings (1995)

by E A Emerson, K S Namjoshi
Venue:In Proc. 22th ACM Conf. on Principles of Programming Languages, POPL'95