Concurrency verification : introduction to compositional and noncompositional methods - Roever, W.-P. de, 1943- (Cambridge Tracts in Theoretical Computer Science, 2001)