Info here: http://www.diplom.org/Zine/S2009M/Kruijswijk/DipMath_Chp2.htm
Info here:
http://www.diplom.org/Zine/S2009M/Kruijswijk/DipMath_Chp2.htm