Logic design algorithms - Zissos, D. (United Kingdom Atomic Energy Authority Research Group., 1972)