Ein neues Verfahren zur mod-2-Summen-Synthese und dessen Anwendungen in der Synthese und der Verifikation digitaler Schaltungen / Matthias Riege. Düsseldorf : VDI-Verl., 1996