Developing a plug-in tool to make OneNote an e-textbook. - John Cristy; Joseph G. Tront (TOPI@ICSE, 2012)