The elements of reasoning - Conway, David A. (2000)