Steve King Carroll Morgan Exits in the Refinement Calculus. 54-76 1995 7 Formal Asp. Comput. 1 db/journals/fac/fac7.html#KingM95