@techreport{TTPCaseStudy,
  title = "{TTP: A case study in combining induction and data independence}",
  author = "A. W. Roscoe and S.J. Creese",
  year = "1999",
  institution = "{Oxford University Computing Laboratory}",
  number = "{PRG-TR-1-99}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/74.ps",
}