An Efficient Compiler Validation Method for Ada 9X. - Michael Tonndorf (Ada-Europe, 1993)

An Integrated Tool Environment for Ada Compiler Validations. - Michael Tonndorf (TRI-Ada, 1993)

Planning the Transition to Ada 95 for a Large Real-Time Project. - Roland Feith; Michael Tonndorf (Ada-Europe, 1996)

Ten Years of Tool Based Ada Compiler Validations. An Experience Report. - Michael Tonndorf (Ada-Europe, 1998)

Ada conformity assessments: a model for other programming languages?. - Michael Tonndorf (SIGAda, 1999)

Bericht über ACM SIGAda'99, Redondo Beach, USA. - Michael Tonndorf (Softwaretechnik-Trends, 2000)

Bericht über die Ada-Europe Konferenz 2000 vom 26. - 30. Juni 2000 in Potsdam. - Michael Tonndorf (Softwaretechnik-Trends, 2000)

Ein Konzept zur Harmonisierung der Vorgehensmodelle für die IT-Steuerung Bund. - Thomas Diefenbach; Michael Tonndorf (Vorgehensmodelle, 2013)