Halstead, M. H.; Uber, G. T. and Gielow, K. R. "An Algorithmic Search Procedure for Program Generation" pp657-62

[AFIPS] Proceedings of the 1967 Spring Joint Compu (1967) [AFIPS] Proceedings of the 1967 Spring Joint Computer Conference, April 18-20, Atlantic City, N. J. SJCC 30   Maurice Halstead

Languages mentioned NELIAC {1958} Navy Electronics Laboratory International ALGOL Compiler