Added ICMI 2013 paper.