Publications Teaching material Staff of the Computing Laboratory 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 Reasearch Group Research Reports The ...

Click here for quick links About OUP Contact Us Search the Catalogue Services and Resources Site Map How to Order OUP Worldwide Home OUP Canada Home -------------------------- Education K-12 Higher Education English as a Second Language General and Reference Higher Education Publishing Higher Education textbooks and monographs in Humanities, Social Sciences, Sciences, Engineering and Computer ...