Limits to specifications: why not more progress? Panel at IEEE conference on specifications of reliable software. - John E. Shore; Kathryn L. Heninger (ACM SIGSOFT Softw. Eng. Notes, 1979)

Specifying Software Requirements for Complex Systems: New Techniques and Their Application. - Kathryn L. Heninger (IEEE Trans. Software Eng., 1980)