T
[Tau06] Heikko Tauriainen. Automata and Linear Temporal Logic: Translations with Transition-based Acceptance. Technical Report HUT-TCS-A104, Helsinki University of Technology, Finland, 2006. 
@techreport{hut-tcs-a104-Tau,
  author =              {Tauriainen, Heikko},
  title =               {Automata and Linear Temporal Logic: Translations
                         with Transition-based Acceptance},
  number =              {HUT-TCS-A104},
  year =                {2006},
  institution =         {Helsinki University of Technology, Finland},
}
List of authors