@techreport{dphiltransfer,
  title = "DPhil transfer thesis: The Safe Lambda Calculus",
  author = "William Blum",
  year = "August 2006",
}