Logic for Concurrency and Synchronisation - Queiroz, Ruy J. G. B. de (Springer Netherlands, 2003)