Korrekte Software. Semantik, Spezifikation, Verifikation und Testen von Programmen - Kowalk, Wolfgang Peter (Bibliographisches Institut, 1993)