Towards automatic program synthesis

purl.stanford.edu/nh065cd7591