@incollection{Devlin90,
  author	= {Devlin, Keith},
  editor	= {Cooper, Robin and Mukai, Kuniaki and Perry, John},
  year		= {1990},
  title		= {Infons and types in an information-based logic},
  booktitle	= {Situation Theory and its applications},
  volume	= {I},
  pages		= {79--96},
  note		= {CSLI Lecture Notes Number 22},
  publisher	= {CSLI: Center for the Study of Language and Information},
  address	= {Stanford University, California}
}