Proving operating systems correct
Karp, Richard Alan.
Epping Bowker
c1983
Bibliography: p157-158. - Includes index
Operating systems (Computers)
Computer programs
Parallel processing (Electronic computers)