Logic and discrete mathematics : A Computer Science Perspective - Grassmann, Winfried Karl (Prentice-Hall International, Inc., 1996)