R.J. Feiertag
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
A provably secure operating system: The system, its applications, and proofs
P.G. Neumann and others (1980) · Technical Report CSL-116. Computer Science Laboratory