@book{DDH+01,
title = {Concurrency Verification: Introduction to Compositonal and Noncompositional Methods },
author = {De Roever, Willem-Paul and De Boer, Frank and Hannemann, Ulrich and Lakhnech, Yassine and Poel, Mannes and Zwiers, Job},
year = {2001},
publisher = {Cambridge University Press},
team = {DCS},
}