@inproceedings{tlca07blumong,
  title = "The Safe Lambda Calculus",
  author = "William Blum and C.-H. Luke Ong.",
  year = "2007",
  booktitle = "Lecture Notes in Computer Science",
  journal = "Lecture Notes in Computer Science",
  pages = "39-53",
  publisher = "Springer Berlin / Heidelberg",
  series = "Proceedings of the 8th International Conference on Typed Lambda Calculi and Applications (TLCA07)",
  url = "http://www.springerlink.com/content/95414616686wqj87/?p=2a6f3bd4fc1b45099103c41018da4784&pi=4",
  volume = "4583",
  doi = "10.1007/978-3-540-73228-0",
}