Logische Modellierung von VLSI-Schaltungen. - Wieland Wiederhold (1985)