E. Rupp: "Testrechnersysteme und Testtools zur Validation sicherheitsrelevanter Software"; Supervisor: G. Schildt; Institut für Technische Informatik, 1989.