@techreport{MaintainingConsistency,
  title = "Maintaining consistency in distributed databases",
  author = "A. W. Roscoe",
  year = "1990",
  institution = "{Oxford University Computing Laboratory}",
  number = "{PRG-87}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/33.ps",
}