KSOS— development methodology for a secure operating system (1979)

by T A Berson, G L Barksdale Jr
Venue:In National Computer Conference