On Refinement in Rewriting Logic. - Dorel Lucanu; Nicolae Surpatanu (Sci. Ann. Cuza Univ., 1996)