Logischer Entwurf digitaler Systeme - Giloi, Wolfgang (Springer, 1973)