B
[Bra98] Julian C. Bradfield. The Modal Mu-Calculus Alternation Hierarchy is Strict. Theoretical Computer Science 195(2):133-153. Elsevier, mars 1998. 
@article{tcs195(2)-Bra,
  author =              {Bradfield, Julian C.},
  title =               {The Modal Mu-Calculus Alternation Hierarchy is
                         Strict},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {195},
  number =              {2},
  pages =               {133-153},
  year =                {1998},
  month =               mar,
}
Liste des auteurs