@Bibtex-file{SE/procos-wg.bib,
  title =        "{ESPRIT} ProCo{S} Working Group - Bibliography",
  author =       "Jonathan Bowen",
  address =      "Department of Computer Science\\ University of
                 Reading\\ Whiteknights, PO Box 225\\ Reading\\
                 Berkshire RG6 6AY\\ UK",
  email =        "J.P.Bowen@reading.ac.uk",
  keywords =     "provably correct systems, provably correct
                 hardware/software co-design",
}