Rigorous mathematical thinking - Kinard, James T, Kozulin (2008)