An algorithmic search procedure for program generation. - Maurice H. Halstead; Gordon T. Uber; K. R. Gielow (AFIPS Spring Joint Computing Conference, 1967)