Dorel Lucanu Nicolae Surpatanu On Refinement in Rewriting Logic. 67-84 1996 5 Sci. Ann. Cuza Univ. db/journals/cuza/cuza5.html#LucanuS96