Warning - the bibtex entry below may be invalid: 
Missing 'institution' field 
@techreport{dphiltransfer,
  author = "William Blum",
  title = "DPhil transfer thesis: The Safe Lambda Calculus",
  year = "August 2006",
}