P. Cobley, “Second-order thinking, first-class reasoning”, SIJS, vol. 4, pp. 69–107, Aug. 2010.