Making Executable Interface Specifications More Expressive. - Peter Müller 001; Jörg Meyer 004; Arnd Poetzsch-Heffter (Java-Informations-Tage, 1999)

Interactive Verification Environments for Object-Oriented Programs. - Jörg Meyer 004; Arnd Poetzsch-Heffter (J. Univers. Comput. Sci., 1999)

An Architecture for Interactive Program Provers. - Jörg Meyer 004; Arnd Poetzsch-Heffter (TACAS, 2000)