Alternating semantic evaluator. - Mehdi Jazayeri; Kenneth G. Walter (ACM Annual Conference, 1975)

Structured specification of a Security Kernel. - Kenneth G. Walter; Samuel I. Schaen; William F. Ogden; William C. Rounds; D. G. Shumway; D. D. Schaeffer; K. J. Biba; Franklyn T. Bradshaw; S. R. Ames; J. M. Gilligan (Reliable Software, 1975)

Recursion Analysis for Compiler Optimization. - Kenneth G. Walter (Commun. ACM, 1976)