Matemática discreta y lógica: una perspectiva desde la ciencia de la computación - Grassmann, Winfried Karl; Tremblay, Jean-Paul (Prentice Hall, 1998)