Verifikation digitaler Systeme - häftad, Tyska, 1991