Problems and solutions in logic design - Zissos, Demetrius (Univ. Pr., 1979)