Logischer Entwurf digitaler Systeme - Liebig, Hans (Springer, 1996)