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)

KSOS - Computer network applications. - M. A. Padlipsky; K. J. Biba; Richard B. Neely (MARK, 1979)