Logischer Entwurf digitaler Systeme - Liebig, Hans 1939-; Thome, Stefan (Springer, 1996)