Mechanising some Advanced Refinement Concepts. - Joakim von Wright; Jukka Hekanaho; P. Luostarinen; Thomas Långbacka (TPHOLs, 1992)

Mechanizing Some Advanced Refinement Concepts. - Joakim von Wright; Jukka Hekanaho; P. Luostarinen; Thomas Långbacka (Formal Methods Syst. Des., 1993)