L
[Lan02] Martin Lange. Alternating Context-Free Languages and Linear Time μ-calculus with Sequential Composition. In EXPRESS'02, Electronic Notes in Theoretical Computer Science 68(2), pages 71-87. Elsevier, août 2002. 
@inproceedings{express2002-Lan,
  author =              {Lange, Martin},
  title =               {Alternating Context-Free Languages and Linear Time
                         {\(\mu\)}-calculus with Sequential Composition},
  editor =              {Nestmann, Uwe and Panangaden, Prakash},
  booktitle =           {{P}roceedings of the 9th {I}nternational {W}orkshop
                         on {E}xpressiveness in {C}oncurrency ({EXPRESS}'02)},
  acronym =             {{EXPRESS}'02},
  publisher =           {Elsevier},
  series =              {Electronic Notes in Theoretical Computer Science},
  volume =              {68},
  number =              {2},
  pages =               {71-87},
  year =                {2002},
  month =               aug,
}
Liste des auteurs