Logic and discrete mathematics : a computer science perspective - Grassmann, Winfried Karl (Prentice-Hall International, 1996)