@mastersthesis{mscthesis,
  title = "Termination analysis of lambda calculus and a subset of core ML",
  author = "William Blum",
  year = "2004",
}