Richard F. Paige Jonathan S. Ostroff ERC - An object-oriented refinement calculus for Eiffel. 51-79 2004 16 Formal Asp. Comput. 1 http://dx/doi.org/10.1007/s00165-003-0024-3 db/journals/fac/fac16.html#PaigeO04