Ralph-Johan Back Joakim von Wright Refinement Concepts Formalized in Higher Order Logic. 179-200 1990 Programming Concepts and Methods conf/ifip2/1990 db/conf/ifip2/pcm1990.html#BackW90