Title: An application of automata theory to the multiple level top down design of digital computer operating systems
Subjects: Machine theory, Computers, Robots