Foundations of Fast Communication via XML. - Welf Löwe; Markus L. Noga; Thilo S. Gaul (Ann. Softw. Eng., 2002)

Konstruktion verifizierender Übersetzer mit Programmprüfung. - Thilo S. Gaul (2004)