irho: an imperative rewriting calculus (2004)

by Luigi Liquori, Bernard P Serpette
Venue:In 6th Conference on Principles and Practice of Declarative Programming – PPDP’04