B
[BLW01] Benedikt Bollig, Martin Leucker, and Michael Weber. Local Parallel Model Checking for the Alternation Free μ-Calculus. Technical Report AIB-2001-04, Aachener Informatik Berichte, Aachen, Germany, March 2001. 
@techreport{TR-Aachen0104,
  author =              {Bollig, Benedikt and Leucker, Martin and Weber,
                         Michael},
  title =               {Local Parallel Model Checking for the Alternation
                         Free {\(\mu\)}-Calculus},
  number =              {AIB-2001-04},
  year =                {2001},
  month =               mar,
  institution =         {Aachener Informatik Berichte, Aachen, Germany},
  type =                {Technical Report},
}
List of authors