R. Milner

• Automata, Languages and Programming
• Computing Tomorrow