Willem P. de Roever Frank S. de Boer Ulrich Hannemann Jozef Hooman Yassine Lakhnech Mannes Poel Job Zwiers Concurrency Verification: Introduction to Compositional and Noncompositional Methods Cambridge University Press 2001 Cambridge Tracts in Theoretical Computer Science 54 0-521-80608-9