A. Waraich. ITiCSE '04: Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education, page 97-101. New York, NY, USA, ACM, (2004)
F. Kamareddine, M. Maarek, K. Retel, and J. Wells. Proceedings of the Sixth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT, Lecture Notes in AI 4573, page 296-312. Springer, (2007)