Ralph-Johan Back Viorel Preoteasa An algebraic treatment of procedure refinement to support mechanical verification. 69-90 2005 17 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-004-0060-7 db/journals/fac/fac17.html#BackP05