Infinitesimal Analysis - inbunden, Engelska, 2002