Entwerfen digitaler Schaltungen - Kainer, Helmuth (VDE, 1983)