@techreport{3908,
  title = "AN ELECTRONIC PURSE - Specification, Refinement, and Proof",
  author = "Susan Stepney and David Cooper and Jim Woodcock",
  year = "2000",
  institution = "OUCL",
  month = "July",
  number = "PRG126",
  pages = "226",
}