Automating the construction of programs. - Buchanan, Jack R. (Stanford Stanford Univ., 1974)