Introduction to mathematical structures and proofs - Larry J. Gerstein (Springer, 2012)
tr,2/ws.c.1-2