Warning - the bibtex entry below may be invalid: 
Missing 'school' field 
@mastersthesis{mscthesis,
  author = "William Blum",
  title = "Termination analysis of lambda calculus and a subset of core ML",
  year = "2004",
}