Effective use of computers. - Marvin M. Wofsey; James V. Milano; Phillip J. London; Robert L. Johnson; Phillip C. Howard (AFIPS National Computer Conference, 1974)