Qualitätssicherung durch Programmverikfikation und algebraische Methoden in der Softwareentwicklung - Beierle, Christoph 1954-; Olthoff, Walter; Voss, Angelika (IBM Deutschland, WT LILOG, 1988)
Literaturverz. S. 16 - 18