@inproceedings{antiframe-fossacs10,
  title = "A Semantic Foundation for Hidden State",
  author = "Jan Schwinghammer and Hongseok Yang and Lars Birkedal and Fran\c{c}ois Pottier and Bernhard Reus",
  year = "2010",
  address = "Paphos, Cyprus",
  booktitle = "Proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures",
  isbn = "978-3-642-12031-2",
  month = "March",
  pages = "2--17",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "6014",
}