Logic for concurrency and synchronisation by Queiroz, Ruy J. G. B. de fromTrends in Logic 0 Type: Book
