@article{lmcs09,
  title = "The Safe Lambda Calculus",
  author = "William Blum and C.-H. Luke Ong",
  year = "2009",
  affiliation = "Univesity of Oxford",
  journal = "Logic Methods in Computer Science",
  number = "1",
  publisher = "LMCS",
  url = "http://www.lmcs-online.org/ojs/viewarticle.php?id=424&layout=abstract",
  volume = "5",
  doi = "10.2168/LMCS-5(1:3)2009",
}