A deductive approach to program synthesis

purl.stanford.edu/pb593mh9420