Electronic switching circuits boolean algebra and mapping - Mandl, Matthew (Prentice-Hall, 1969)