By the way, you may want to watch this course by Hal Abelson and Gerald Jay Sussman (Henderson Escher example):
http://ocw.mit.edu/courses/electrical-engineering-and-comput...
Also, the article reminded me of LOGO.