Logischer entwurf digitaler systeme - Giloi, Wolfgang; Liebig, Hans (Berlin : Springer, 1980)