Elhadi Shakshuki Richard Halliday An algorithm explanation agent for the SHALEX system. 292-298 2008 iiWAS http://doi.acm.org/10.1145/1497308.1497362 conf/iiwas/2008 db/conf/iiwas/iiwas2008.html#ShakshukiH08