Logic and Design - Ronald C. Emery (Taylor and Francis, 1985)