Towards an Object-Oriented Progification Language. - Wolfgang Naraschewski (TPHOLs, 1997)

Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic. - Wolfgang Naraschewski; Markus Wenzel 001 (TPHOLs, 1998)

Inheritance of Proofs. - Martin Hofmann 001; Wolfgang Naraschewski; Martin Steffen; Terry Stroup (Theory Pract. Object Syst., 1998)

Type Inference Verified: Algorithm W in Isabelle/HOL. - Wolfgang Naraschewski; Tobias Nipkow (J. Autom. Reason., 1999)

Teams as types: a formal treatment of authorisation in groupware. - Wolfgang Naraschewski (2001)

Mini ML. - Wolfgang Naraschewski; Tobias Nipkow (Arch. Formal Proofs, 2004)