K
[Kai97] Roope Kaivola. Using Automata to Characterise Fixed Point Temporal Logics. PhD thesis, School of Informatics, University of Edinburgh, UK, July 1997. 
@phdthesis{phd-kaivola,
  author =              {Kaivola, Roope},
  title =               {Using Automata to Characterise Fixed Point Temporal
                         Logics},
  year =                {1997},
  month =               jul,
  school =              {School of Informatics, University of Edinburgh, UK},
  type =                {{PhD} thesis},
}
List of authors