James H. Davenport MKM from Book to Computer: A Case Study. 17-29 2003 conf/mkm/2003 MKM http://link.springer.de/link/service/series/0558/bibs/2594/25940017.htm db/conf/mkm/mkm2003.html#Davenport03