iRho, An Imperative Rewriting Calculus (2004)

by L Liquori, B Serpette
Venue:In Proc. of PPDP