Elmar Cohors-Fresenborg The Benefit of Microworlds inLearning Computer Programming. 88-100 1987 conf/birthday/1987rodding Computation Theory and Logic db/conf/birthday/rodding87.html#Cohors-Fresenborg87