K
[Kam68] Johan Anthony Willem Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, Computer Science Department, University of California at Los Angeles, USA, 1968. 
@phdthesis{phd-kamp,
  author =              {Kamp, Johan Anthony Willem},
  title =               {Tense Logic and the Theory of Linear Order},
  year =                {1968},
  school =              {Computer Science Department, University of
                         California at Los~Angeles, USA},
  type =                {{PhD} thesis},
}
Liste des auteurs