No books found in this genre yet.
The Formal description technique Lotos
Concurrency theory
Howard Bowman