1-2 of 2 Books
Automata, Languages and Programming
By Laurent Kott
Compositionality, concurrency, and partial correctness
By J. Zwiers