@inproceedings{kripke-popl11,
  title = "Step-Indexed Kripke Models over Recursive Worlds",
  author = "Lars Birkedal and Bernhard Reus and Jan Schwinghammer and Kristian Stovring and Jacob Thamsborg and Hongseok Yang",
  year = "2011",
  address = "Austin, USA",
  booktitle = "Proceedings of the 38th ACM Symposium on Principles of Programming Languages",
  isbn = "978-1-4503-0490-0",
  month = "January",
  pages = "119--132",
  publisher = "ACM",
}