W
[Wol00] Pierre Wolper. Constructing Automata from Temporal Logic Formulas: A Tutorial. In Lectures on Formal Methods and Performance Analysis – Revised Lectures of the 1st EEF/Euro Summer School on Trends in Computer Science, Lecture Notes in Computer Science 2090, pages 261-277. Springer-Verlag, July 2000. 
@inproceedings{eef2000-Wol,
  author =              {Wolper, Pierre},
  title =               {Constructing Automata from Temporal Logic Formulas:
                         A Tutorial},
  editor =              {Brinksma, Ed and Hermanns, Holger and Katoen,
                         Joost-Pieter},
  booktitle =           {{L}ectures on {F}ormal {M}ethods and {P}erformance
                         {A}nalysis~-- {R}evised {L}ectures of the 1st
                         {EEF}/{E}uro {S}ummer {S}chool on {T}rends in
                         {C}omputer {S}cience},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {2090},
  pages =               {261-277},
  year =                {2000},
  month =               jul,
}
List of authors