M. W. Shields

1950

• An introduction to automata theory
• Semantics for concurrency
• Semantics of parallelism
• An Introduction to Automata Theory (Computer Science Texts)