@inproceedings{AK06b,
  volume="4014",
  month="July",
  author="Kamal Aboul-Hosn and Dexter Kozen",
  series="Lecture Notes in Computer Science",
  city="Kuressaare, Estonia",
  booktitle="Proc. 8th Int. Conf. Mathematics of Program Construction (MPC'06)",
  editor="Tarmo Uustalu",
  title="Relational Semantics for Higher-Order Programs",
  publisher="Springer",
  pages="29--48",
  year="2006"
}