Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka. Mechanising some Advanced Refinement Concepts. In Luc J. M. Claesen, Michael J. C. Gordon, editors, Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL 92, Leuven, Belgium, 21-24 September 1992. Volume A-20 of IFIP Transactions, pages 307-326, North-Holland/Elsevier, 1992.
Abstract is missing.