Logic and discrete mathematics: A computer science perspective - GRASSMANN, Winfried Karl (Prentice-Hall, 1996)