B
[BS01] Julian C. Bradfield et Colin Stirling. Modal Logics and Mu-Calculi: An Introduction. In Jan A. Bergstra, Alban Ponse et Scott A. Smolka (eds.), Handbook of Process Algebra. Elsevier, 2001. 
@incollection{HPA-BS,
  author =              {Bradfield, Julian C. and Stirling, Colin},
  title =               {Modal Logics and Mu-Calculi: An Introduction},
  editor =              {Bergstra, Jan A. and Ponse, Alban and Smolka, Scott
                         A.},
  booktitle =           {Handbook of Process Algebra},
  publisher =           {Elsevier},
  chapter =             {1.4},
  year =                {2001},
}
Liste des auteurs