Publications

Teaching material

Staff of the Programming Research Group have authored or co-authored a number of textbooks. Teaching material is available to accompany some of the most recent publications:

• Algebra of Programming
• Theory and Practice of Concurrency
• Introduction to Functional Programming
• Using Z: Specification, Refinement, and Proof

Programming Research Group Technical Monographs

The Programming Research Group has been publishing a series of Technical Monographs since 1970. These are printed as A5 booklets, and can be ordered.

Programming Research Group Technical Reports

The PRG Technical Reports series began in 1986, and is intended to be a less formal medium than the Technical Monographs, often reporting work in progress. Paper copies can be obtained from the librarian, as A4 photocopies, for which a charge is made.