- Communications and Electronic Security Group (a part of GCHQ).
- A `large' collection.
- Government Communications Headquarters, UK.
- Higher Order Logic, a specification language, a formal deductive logic, an interactive proof tool.
- A tool supporting proof development in a ``New Proof/Program Refinement Logic'', which is a constructive type theory.
- The Programming Research Group, at the University of Oxford.
- A `small' collection.
Roger Bishop Jones