The static analysis of Cobol programs. - Michael A. Hennell; W. M. McNicol; J. Hawkins (ACM SIGSOFT Softw. Eng. Notes, 1980)