Luigi Liquori, Bernard P. Serpette. iRho: an imperative rewriting calculus. In Eugenio Moggi, David Scott Warren, editors, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy. pages 167-178, ACM, 2004. [doi]
Abstract is missing.