Softwaretechnologie. Entwurf, Spezifikation, Verifikation - Horn, Christian (Schriftenreihe der Universitätsbibliothek Berlin, 1985)