Ein System zur Verifikation des Layouts integrierter Schaltungen - Dosedal, Gerhard (1991)
Bochum, Univ., Diss., 1991