@techreport{RR-04-20,
  title = "Size-Change Termination of Higher-Order Functional Programs",
  author = "Damien Sereni",
  year = "2004",
  institution = "Oxford University Computing Laboratory",
  month = "October",
  number = "RR-04-20",
}