Stepwise Refinement of Layered Protocols by Formal Program Development. - Terry Stroup; Norbert Götz; Michael Mendler (PSTV, 1989)

Reduktion auf adjungierten Datentypen. - Terry Stroup (1991)

Newtonian Arbiters Cannot be Proven Correct. - Michael Mendler; Terry Stroup (Formal Methods Syst. Des., 1993)

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