The Essence of Logic Circuits - Unger (IEEE, 1997)