@Bibtex-file{SE/algebraic.spec.bib,
  title =        "Bibliography relating to algebra, program
                 specification and verification, and logic",
  author-1 =     "Rod Burstall",
  address-1 =    "Laboratory for the Foundations of Computer Science\\
                 University of Edinburgh",
  email-1 =      "rb@dcs.ed.ac.uk",
  author-2 =     "Razvan Diaconescu",
  address-2 =    "Programming Research Group\\ Oxford University",
  email-2 =      "Razvan.Diaconescu@prg.ox.ac.uk",
  supported =    "gone",
}