NASA technical report R (series). 338. Program analysis, problem in man-computer communication [with list of references]; by Joseph Green.