B. Wielinga, Th, J. Wielemaker, and J. Sandberg. K-CAP '01: Proceedings of the 1st international conference on Knowledge capture, page 194--201. New York, NY, USA, ACM Press, (2001)
J. Sim&\#233;on, and P. Wadler. POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 38, page 1--13. New York, NY, USA, ACM Press, (January 2003)
A. Renear, D. Dubin, and C. Sperberg-Mcqueen. DocEng '02: Proceedings of the 2002 ACM symposium on Document engineering, page 119--126. New York, NY, USA, ACM Press, (2002)