A systematic approach to digital logic design - Mowle, Frederic J. (Addison-Wesley, 1976)