@techreport{RR-04-03,
  title = "A Calculation Approach to Program Inversion",
  author = "Shin-Cheng Mu",
  year = "2004",
  institution = "Oxford University Computing Laboratory",
  month = "February",
  number = "RR-04-03",
}