Introduction to the logical design of switching circuits - Torng, H. C. (Addison-Wesley, 1964)