@incollection{K02g,
  volume="315",
  author="Dexter Kozen",
  series="Studies in Epistemology, Logic, Methodology, and Philosophy of Science",
  booktitle="In the Scope of Logic, Methodology, and Philosophy of Science: Volume 1 of the 11th Int. Congress Logic, Methodology and Philosophy of Science, Cracow, August 1999",
  editor="P. G{\"a}rdenfors and J. Wole{\'n}ski and K. Kijania-Placek",
  title="On {H}oare logic, {K}leene algebra, and types",
  publisher="Kluwer",
  year="2002",
  pages="119--133"
}