Mission critical operating systems /
Agrawala, Ashok K.,1942-
Gordon, Karen D.
Hwang, Phillip.
Amsterdam ; Oxford : IOS Press,
1992.