T
[Tau03] Heikko Tauriainen. On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata. Licentiate thesis, Helsinki University of Technology, Finland, 2003. 
@mastersthesis{licentiate-tauriainen,
  author =              {Tauriainen, Heikko},
  title =               {On Translating Linear Temporal Logic into
                         Alternating and Nondeterministic Automata},
  year =                {2003},
  school =              {Helsinki University of Technology, Finland},
  type =                {Licentiate thesis},
}
List of authors