@Bibtex-file{SE/procos2.bib,
  title =        "ProCo{S} {II} 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, Concurrency, CSP,
                 Decompilation, Design, Duration Calculus, Formal
                 Methods Europe, Hardware compilation, HOL, Hybrid
                 Systems, Interfaces, Languages, Models, Occam,
                 Operational semantics, Programs, Provably correct
                 systems, Reactive systems, Real-time, Refinement,
                 Requirements, safemos project, Safety-critical systems,
                 Semantics, Sequential Calculus, Specification,
                 Standards, Temporal logic, Time, Transputer, VDM, Z
                 notation, Z User Meeting",
}