selected publications chapter Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge. Springer eBooks. 147-161. 2003