Warning - the bibtex entry below may be invalid: 
Missing 'institution' field 
@techreport{longversiontlca,
  author = "William Blum and C.-H. Luke Ong.",
  title = "Extended version of the TLCA07 paper on the Safe Lambda Calculus",
  year = "2007",
}