Karl Lermer Colin J. Fidge Procedure compilation in the refinement calculus. 152-180 2006 18 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s00165-006-0091-3 db/journals/fac/fac18.html#LermerF06