@article{SOSP-J-1979-WalkerKP80,
	author        = "Bruce J. Walker and Richard A. Kemmerer and Gerald J. Popek",
	doi           = "10.1145/358818.358825",
	journal       = "{Communications of the ACM}",
	number        = 2,
	pages         = "118--131",
	publisher     = "{ACM}",
	title         = "{Specification and Verification of the UCLA Unix Security Kernel}",
	volume        = 23,
	year          = 1980,
}