Andrea Valente Exploring Theoretical Computer Science Using Paper Toys (for kids). 2004 conf/icalt/2004 ICALT db/conf/icalt/icalt2004.html#Valente04