Automatic insertion of indexing instructions in program synthesis - Biermann, Alan W. (International Journal of Computer & Information Sciences, 1978)