The automatic synthesis of recursive programs.

Published in: Artificial Intelligence and Programming Languages (1977)