Computer aids to logic system design - Waters, M. C. (1972)