Introduction to mathematical structures and proofs - Gerstein, Larry J. (Springer Jones and Bartlett Publishers, 1996)