@incollection{Kamp80,
  author	= {Kamp, Hans},
  editor	= {Greondijk and Janssen and Stokhof},
  year		= {1980},
  title		= {A theory of truth and semantic representation},
  booktitle	= {Formal methods in the study of language},
  publisher	= {Mathematical Centre Tracts. 136.},
  address	= {Amsterdam}
}