Reasoning about Rings.

E. Allen Emerson, Kedar S. Namjoshi

Browse the full POPL paper archive.