M
[Man00] Panagiotis Manolios. Mu-Calculus Model-Checking. In Matt Kaufmann, Panagiotis Manolios, and J. Strother Moore (eds.), Computer Aided Reasoning: ACL2 Case Studies. Kluwer Academic, June 2000. 
@incollection{CAR-ACL2CS-Man,
  author =              {Manolios, Panagiotis},
  title =               {Mu-Calculus Model-Checking},
  editor =              {Kaufmann, Matt and Manolios, Panagiotis and Moore,
                         J. Strother},
  booktitle =           {Computer Aided Reasoning: {ACL2} Case Studies},
  publisher =           {Kluwer Academic},
  pages =               {93-111},
  year =                {2000},
  month =               jun,
}
List of authors