Uwe Knoth, Christoph Zimmermann: Funktionelle Verifikation synchroner, digitaler Systeme. Chemnitz University of Technology, Germany 1991