Logic design algorithms - Zissos, Demetrius (Oxford Univ. Press, 1972)