B
[BBG+12] Christel Baier, Tomáš Brázdil, Marcus Größer, and Antonín Kučera. Stochastic Game Logic. Acta Informatica 49(4):203-224. Springer-Verlag, June 2012. 
@article{acta49(4)-BBGK,
  author =              {Baier, {\relax Ch}ristel and Br{\'a}zdil,
                         Tom{\'a}{\v s} and Gr{\"o}{\ss}er, Marcus and Ku{\v
                         c}era, Anton{\'\i}n},
  title =               {Stochastic Game Logic},
  publisher =           {Springer-Verlag},
  journal =             {Acta Informatica},
  volume =              {49},
  number =              {4},
  pages =               {203-224},
  year =                {2012},
  month =               jun,
  doi =                 {10.1007/s00236-012-0156-0},
}
List of authors