Gernot Veit Batz
Doctoral thesis, Fakultät für Informatik, Karlsruher Institut für Technologie, Germany, 2014.