Computer logic : the functional design of digital computers - Flores, Iván (Prentice-Hall electrical engineering series, 1960)