D. Dig, K. Manzoor, R. Johnson, and T. Nguyen. Intl. Conf. on Software Engineering, page 427-436. Minneapolis, Minnesota, IEEE Computer Society, (May 2007)
S. Manzoor, P. Libbrecht, C. Ullrich, and E. Melis. Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, volume 3863 of LNCS, page 33--48. Heidelberg, Springer, (2006)