Adriana B. Compagnoni Maribel Fernández On Object Calculus with Algebraic Rewriting. 17-31 1997 conf/plilp/1997 PLILP db/conf/plilp/plilp97.html#CompagnoniF97 http://dx.doi.org/10.1007/BFb0033834