Ralph-Johan Back Joakim von Wright Refinement Concepts Formalised in Higher Order Logic. 247-272 1990 2 Formal Asp. Comput. 3 db/journals/fac/fac2.html#BackW90