Construction and Deduction Methods for the Formal Development of Software. - Friedrich W. von Henke; Axel Dold; Harald Rueß; Detlef Schwier (KORSO Book, 1995)

The TYPELAB Specification and Verification Environment. - Friedrich W. von Henke; Marko Luther; Holger Pfeifer; Harald Rueß; Detlef Schwier; Martin Strecker; Matthias Wagner 001 (AMAST, 1996)

Mechanical Verification of Clock Synchronization Algorithms. - Detlef Schwier; Friedrich W. von Henke (FTRTFT, 1998)