Building a Reliable Operating System

Paperback / softback