BRIM, Luboš a Isabelle LINDEN.
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005). NIzozemsko: Elsevier, 2006, 159 s. ENTCS Volume 150, Issue 1. ISBN 1571-0661.