1. ActiveMath, http://www.activemath.org (visited on June 05, 2010)
2. Aßmann, U.: Invasive software composition, pp. I–XII, 1–334. Springer (2003) ISBN: 978-3-540-44385-8
3. LNAI,2009
4. Cinderella: Interactive Geometry Software, http://www.cinderella.de (visited on February 24, 2012)
5. d’Aquin, M., Motta, E.: Watson, more than a Semantic Web search engine. Semantic Web 2(1), 55–63 (2011)