Aucun livre trouvé dans ce genre pour l'instant.
The Formal description technique Lotos
Concurrency theory
Howard Bowman