Rudolf Fleischer Gerhard Trippen On the Effectiveness of Visualizations in a Theory of Computing Course. 15-24 2005 conf/cogsys/2005 Cognitive Systems http://dx.doi.org/10.1007/978-3-540-70934-3_2 db/conf/cogsys/cogsys2005.html#FleischerT05