1. Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I.: XML, Stylesheets and the re-mathematization of Formal Content. In: Proceedings of Extreme Markup Languages 2001 Conference, Montreal, Canada (August 12-17, 2001)
2. Asperti, A., Padovani, L., Sacerdoti Coen, C., Guidi, F., Schena, I.: Mathematical Knowledge Management in HELM. Annals of Mathematics and Artificial Intelligence 38(1), 27–46 (2003)
3. Asperti, A., Guidi, F., Sacerdoti Coen, C., Tassi, E., Zacchiroli, S.: A content based mathematical search engine: whelp (Submitted for publication)
4. Cohen, A., Cuypers, H., Sterk, H.: Algebra Interactive. Springer, Heidelberg (1999)
5. Lecture Notes in Computer Science;L. Cruz-Filipe,2004