L
[La01] Salvatore La Torre. Verification of Reactive Systems and Decision Problems in Temporal Logics. PhD thesis, University of Pennsylvania, 2001. 
@phdthesis{phd-latorre,
  author =              {La{~}Torre, Salvatore},
  title =               {Verification of Reactive Systems and Decision
                         Problems in Temporal Logics},
  year =                {2001},
  school =              {University of Pennsylvania},
}
List of authors