@techreport{longversiontlca,
  title = "Extended version of the TLCA07 paper on the Safe Lambda Calculus",
  author = "William Blum and C.-H. Luke Ong.",
  year = "2007",
}