Paul Libbrecht Christian Gross Authoring LeActiveMath Calculus Content. 251-265 2006 conf/mkm/2006 MKM http://dx.doi.org/10.1007/11812289_20 db/conf/mkm/mkm2006.html#LibbrechtG06