E. Allen Emerson Kedar S. Namjoshi Reasoning about Rings. 85-94 1995 POPL db/conf/popl/popl95.html#EmersonN95