Rudolf Fleischer Ludek Kucera Algorithm Animation for Teaching. 113-128 2001 conf/dagstuhl/2001svis Software Visualization http://dx.doi.org/10.1007/3-540-45875-1_9 db/conf/dagstuhl/svis2001.html#FleischerK01