Theorie und Verfahren der hierarchischen Designregelprüfung integrierter Schaltungen - Federschmidt, Clemens (1989)