Ein Testerzeugungsverfahren für digitale Schaltung auf der Verhaltensebene - Weber, Raul Fernando (Karlsruhe : Universität, 1986)