M
[Mar00] Nicolas Markey. Complexité de la logique temporelle avec passé. Rapport de DEA, Lab. Spécification & Vérification, ENS Cachan, France, June 2000. 
@mastersthesis{dea2000-Mar,
  author =              {Markey, Nicolas},
  title =               {Complexit{\'e} de la logique temporelle avec
                         pass{\'e}},
  year =                {2000},
  month =               jun,
  school =              {Lab.~Sp\'ecification \& V\'erification, ENS Cachan,
                         France},
  type =                {Rapport de~{DEA}},
}
List of authors