Books — programming by example