4 works on record
Automata, languages and programming
A Distributed Pi-Calculus
Algebraic theory of processes
The semantics of programming languages