@TechReport{oxford-prg-2, author = "Dana Scott", title = "Outline of a mathematical theory of computation", institution = "Oxford University Computing Laboratory", year = 1970, number = "Technical Monograph PRG-2" }

@TechReport{oxford-prg-3, author = "Dana Scott", title = "The lattice of flow diagrams", institution = "Oxford University Computing Laboratory", year = 1970, number = "Technical Monograph PRG-3" }

@TechReport{oxford-prg-5, author = "Dana Scott", title = "Data types as lattices", institution = "Oxford University Computing Laboratory", year = 1976, number = "Technical Monograph PRG-5" }

@TechReport{oxford-prg-6, author = "Dana Scott and Christopher Strachey", title = "Toward a mathematical semantics for computer languages", institution = "Oxford University Computing Laboratory", year = 1971, number = "Technical Monograph PRG-6" }

@TechReport{oxford-prg-7, author = "Dana Scott", title = "Continuous lattices", institution = "Oxford University Computing Laboratory", year = 1971, number = "Technical Monograph PRG-7" }

@TechReport{oxford-prg-9(c), author = "Christopher Strachey and Joseph Stoy", title = "The text of OSPub", institution = "Oxford University Computing Laboratory", year = 1972, number = "Technical Monograph PRG-9(c)" }

@TechReport{oxford-prg-9(t), author = "Christopher Strachey and Joseph Stoy", title = "The text of OSPub", institution = "Oxford University Computing Laboratory", year = 1972, number = "Technical Monograph PRG-9(t)" }

@TechReport{oxford-prg-10, author = "Christopher Strachey", title = "The varieties of programming language", institution = "Oxford University Computing Laboratory", year = 1973, number = "Technical Monograph PRG-10" }

@TechReport{oxford-prg-17, author = "Andrew P. Black", title = "Report on the programming notation 3R", institution = "Oxford University Computing Laboratory", year = 1980, number = "Technical Monograph PRG-17" }

@TechReport{oxford-prg-18, author = "Elizabeth Fielding", title = "The specification of abstract mappings and their implementation as B{$^{+}$}-trees", institution = "Oxford University Computing Laboratory", year = 1980, key = "The specification of abstract mappings and their implementation as B+-trees", number = "Technical Monograph PRG-18" }

@TechReport{oxford-prg-20, author = "Zhou Chao Chen and C. A. R. Hoare", title = "Partial correctness of communicating processes and protocols", institution = "Oxford University Computing Laboratory", year = 1981, number = "Technical Monograph PRG-20" }

@TechReport{oxford-prg-22, author = "C. A. R. Hoare", title = "A model for communicating sequential processes", institution = "Oxford University Computing Laboratory", year = 1981, number = "Technical Monograph PRG-22" }

@TechReport{oxford-prg-23, author = "C.A.R. Hoare", title = "A calculus of total correctness for communicating processes", institution = "Oxford University Computing Laboratory", year = 1981, number = "Technical Monograph PRG-23" }

@TechReport{oxford-prg-26, author = "Zhou Chaochen", title = "The consistency of the calculus of total correctness for communicating processes", institution = "Oxford University Computing Laboratory", year = 1982, number = "Technical Monograph PRG-26" }

@TechReport{oxford-prg-29, author = "C. A. R. Hoare", title = "Specifications, programs and implementations", institution = "Oxford University Computing Laboratory", year = 1982, number = "Technical Monograph PRG-29" }

@TechReport{oxford-prg-32(1), author = "Peter Henderson, Geraint A. Jones, Simon B. Jones", title = "The lispkit manual", institution = "Oxford University Computing Laboratory", year = 1983, number = "Technical Monograph PRG-32(1)" }

@TechReport{oxford-prg-32(2), author = "Peter Henderson, Geraint A. Jones, Simon B. Jones", title = "The lispkit manual", institution = "Oxford University Computing Laboratory", year = 1983, number = "Technical Monograph PRG-32(2)" }

@TechReport{oxford-prg-34, author = "Simon B. Jones", title = "Abstract machine support for purely functional operating systems", institution = "Oxford University Computing Laboratory", year = 1983, number = "Technical Monograph PRG-34" }

@TechReport{oxford-prg-36, author = "T. Clement", title = "The formal specification of a conference organizing system", institution = "Oxford University Computing Laboratory", year = 1983, number = "Technical Monograph PRG-36" }

@TechReport{oxford-prg-37, author = "E.-R. Olderog and C. A. R. Hoare", title = "Specification-oriented semantics for communicating processes", institution = "Oxford University Computing Laboratory", year = 1984, number = "Technical Monograph PRG-37" }

@TechReport{oxford-prg-38, author = "Ludwik Czaja", title = "Making nets abstract and structured and nets and their relation to CSP", institution = "Oxford University Computing Laboratory", year = 1984, number = "Technical Monograph PRG-38" }

@TechReport{oxford-prg-39, author = "Mary Sheeran", title = "{$\mu$}FP - an algebraic VLSI design language", institution = "Oxford University Computing Laboratory", year = 1983, key = "μFP - an algebraic VLSI design language", number = "Technical Monograph PRG-39" }

@TechReport{oxford-prg-40, author = "John Hughes", title = "The design and implementation of programming languages", institution = "Oxford University Computing Laboratory", year = 1983, number = "Technical Monograph PRG-40" }

@TechReport{oxford-prg-42, author = "Simon B. Jones", title = "A range of operating systems written in a purely functional style", institution = "Oxford University Computing Laboratory", year = 1984, number = "Technical Monograph PRG-42" }

@TechReport{oxford-prg-44, author = "C. A. R. Hoare and He, Jifeng", title = "The weakest prespecification", institution = "Oxford University Computing Laboratory", year = 1985, number = "Technical Monograph PRG-44" }

@TechReport{oxford-prg-45, author = "C. A. R. Hoare, et. al.", title = "Laws of programming a tutorial paper", institution = "Oxford University Computing Laboratory", year = 1985, number = "Technical Monograph PRG-45" }

@TechReport{oxford-prg-46, author = "Ian Hayes", title = "Specification case studies", institution = "Oxford University Computing Laboratory", year = 1985, number = "Technical Monograph PRG-46" }

@TechReport{oxford-prg-47, author = "Ian Hayes", title = "Specifying the CICS application programmer's interface", institution = "Oxford University Computing Laboratory", year = 1985, number = "Technical Monograph PRG-47" }

@TechReport{oxford-prg-48, author = "Bill Flinn and Ib Holm S{\o}rensen", title = "CAVIAR: a case study in specification", institution = "Oxford University Computing Laboratory", year = 1985, number = "Technical Monograph PRG-48" }

@TechReport{oxford-prg-49, author = "Ian Hayes", title = "Specification directed module testing", institution = "Oxford University Computing Laboratory", year = 1985, number = "Technical Monograph PRG-49" }

@TechReport{oxford-prg-50, author = "Roger Gimson, Carroll Morgan", title = "The distributed computing software project", institution = "Oxford University Computing Laboratory", year = 1985, number = "Technical Monograph PRG-50" }

@TechReport{oxford-prg-51, author = "K. T. Sridhar, C. A. R. Hoare", title = "JSD expressed in CSP", institution = "Oxford University Computing Laboratory", year = 1985, number = "Technical Monograph PRG-51" }

@TechReport{oxford-prg-52, author = "C. A. R. Hoare and He Jifeng", title = "Algebraic specification and proof of properties of communicating sequential processes", institution = "Oxford University Computing Laboratory", year = 1985, number = "Technical Monograph PRG-52" }

@TechReport{oxford-prg-53, author = "A. W. Roscoe and C. A. R. Hoare", title = "The laws of occam programming", institution = "Oxford University Computing Laboratory", year = 1986, number = "Technical Monograph PRG-53" }

@TechReport{oxford-prg-54, author = "Theoharis A. Theoharis", title = "Exploiting parallelism in the graphics pipeline", institution = "Oxford University Computing Laboratory", year = 1985, number = "Technical Monograph PRG-54" }

@TechReport{oxford-prg-55, author = "Mark B. Josephs", title = "Functional programming with side-effects", institution = "Oxford University Computing Laboratory", year = 1986, number = "Technical Monograph PRG-55" }

@TechReport{oxford-prg-56, author = "Richard S. Bird", title = "An introduction to the theory of lists", institution = "Oxford University Computing Laboratory", year = 1986, number = "Technical Monograph PRG-56" }

@TechReport{oxford-prg-57, author = "A. W. Roscoe and Naiem Dathi", title = "The pursuit of deadlock freedom", institution = "Oxford University Computing Laboratory", year = 1986, number = "Technical Monograph PRG-57" }

@TechReport{oxford-prg-58, author = "Geoff Barrett", title = "Formal methods applied to a floating point number system", institution = "Oxford University Computing Laboratory", year = 1987, number = "Technical Monograph PRG-58" }

@TechReport{oxford-prg-60, author = "Jonathan Bowen", title = "The formal specification of a microprocessor instruction set", institution = "Oxford University Computing Laboratory", year = 1987, number = "Technical Monograph PRG-60" }

@TechReport{oxford-prg-61, author = "Jonathan Bowen, Roger Gimson, Stig Topp-J{\o}rgensen", title = "The specification of network services", institution = "Oxford University Computing Laboratory", year = 1987, key = "Stig Topp-Jorgensen", number = "Technical Monograph PRG-61" }

@TechReport{oxford-prg-62, author = "Roger Gimson", title = "The formal documentation of a block storage service", institution = "Oxford University Computing Laboratory", year = 1987, number = "Technical Monograph PRG-62" }

@TechReport{oxford-prg-63, author = "Jonathan Bowen, Roger Gimson, Stig Topp-J{\o}rgensen", title = "Specifying system implementations in z", institution = "Oxford University Computing Laboratory", year = 1988, key = "Stig Topp-Jorgensen", number = "Technical Monograph PRG-63" }

@TechReport{oxford-prg-64, author = "Richard Bird", title = "A calculus of functions for program derivation", institution = "Oxford University Computing Laboratory", year = 1987, number = "Technical Monograph PRG-64" }

@TechReport{oxford-prg-65, author = "J. W. Sanders", title = "An introduction to CSP", institution = "Oxford University Computing Laboratory", year = 1988, number = "Technical Monograph PRG-65" }

@TechReport{oxford-prg-66, author = "K. Paliwoda and J.W. Sanders", title = "The sliding-window protocol in CSP", institution = "Oxford University Computing Laboratory", year = 1988, number = "Technical Monograph PRG-66" }

@TechReport{oxford-prg-67, author = "A.W. Roscoe", title = "Two papers on CSP", institution = "Oxford University Computing Laboratory", year = 1988, number = "Technical Monograph PRG-67" }

@TechReport{oxford-prg-68, author = "Steve King, Ib Holm S{\o}rensen, Jim Woodcok", title = "Z: rammar and concrete and abstract syntaxes (Version 2.0)", institution = "Oxford University Computing Laboratory", year = 1988, key = "Ib Holm Sorensen", number = "Technical Monograph PRG-68" }

@TechReport{oxford-prg-69, author = "R.S. Bird", title = "Lectures on constructive functional programming", institution = "Oxford University Computing Laboratory", year = 1988, number = "Technical Monograph PRG-69" }

@TechReport{oxford-prg-70, author = "Carroll Morgan, Ken Robinson and Paul Gardiner", title = "On the refinement calculus", institution = "Oxford University Computing Laboratory", year = 1989, number = "Technical Monograph PRG-70" }

@TechReport{oxford-prg-71, author = "Roberto Garigliano and Derek Long", title = "A formal model through homogeneity theory of adaptive reasoning", institution = "Oxford University Computing Laboratory", year = 1989, number = "Technical Monograph PRG-71" }

@TechReport{oxford-prg-72, author = "Joseph A. Goguen", title = "A categorical manifesto", institution = "Oxford University Computing Laboratory", year = 1989, number = "Technical Monograph PRG-72" }

@TechReport{oxford-prg-73, author = "David Lester", title = "Combinator graph reduction : A congruence and its applications", institution = "Oxford University Computing Laboratory", year = 1989, number = "Technical Monograph PRG-73" }

@TechReport{oxford-prg-74, author = "Jonathan Bowen", title = "Formal specification of window systems", institution = "Oxford University Computing Laboratory", year = 1989, number = "Technical Monograph PRG-74" }

@TechReport{oxford-prg-75, author = "Jim Davies, Steve Schneider", title = "An introduction to timed CSP", institution = "Oxford University Computing Laboratory", year = 1989, number = "Technical Monograph PRG-75" }

@TechReport{oxford-prg-76, author = "Joseph Goguen, Sany Leinwand, Jos{\'{e}} Meseguer, Timothy Winkler", title = "The rewrite rule machine, 1988", institution = "Oxford University Computing Laboratory", year = "1989", OPTcrossref = "", OPTkey = "", OPTtype = "", OPTnumber = "", OPTaddress = "", OPTmonth = "", OPTnote = "", OPTannote = "" }

@TechReport{oxford-prg-85, author = "S. Cameron", title = "Efficient intersection tests for objects defined constructively ", institution = "Oxford University Computing Laboratory", year = 1990, number = "Technical Monograph PRG-85" }

@TechReport{oxford-prg-86, author = "S. Cameron", title = "Collision detection by four-dimensional inrtersection testing", institution = "Oxford University Computing Laboratory", year = 1990, number = "Technical Monograph PRG-86" }

@TechReport{oxford-prg-87, author = "A. W. Roscoe", title = "Maintaining consistency in distributed databases", institution = "Oxford University Computing Laboratory", year = 1990, number = "Technical Monograph PRG-87" }

@TechReport{oxford-prg-88, author = "Marcello D'Agostino", title = "Investigations into the complexity of some propositional calculi", institution = "Oxford University Computing Laboratory", year = 1990, number = "Technical Monograph PRG-88" }

@TechReport{oxford-prg-89, author = "Joseph A. Goguen", title = "Four pieces on error, truth and reality", institution = "Oxford University Computing Laboratory", year = 1990, number = "Technical Monograph PRG-89" }

@TechReport{oxford-prg-90, author = "He Jifeng, C.A.R. Hoare", title = "Data refinement in a categorical setting", institution = "Oxford University Computing Laboratory", year = 1990, number = "Technical Monograph PRG-90" }

@TechReport{oxford-prg-91, author = "Geraint Jones, Mary Sheeran", title = "Collecting butterflies", institution = "Oxford University Computing Laboratory", year = 1991, number = "Technical Monograph PRG-91" }

@TechReport{oxford-prg-92, author = "P.H.B. Gardiner, T.N. Vickers", title = "The logic of B", institution = "Oxford University Computing Laboratory", year = 1991, number = "Technical Monograph PRG-92" }

@TechReport{oxford-prg-93, author = "Jim Davies", title = "Specification and proof in real-time systems", institution = "Oxford University Computing Laboratory", year = 1991, number = "Technical Monograph PRG-93" }

@TechReport{oxford-prg-94, author = "Jeremy Gibbons", title = "Algebras for tree algorithms", institution = "Oxford University Computing Laboratory", year = 1991, number = "Technical Monograph PRG-94" }

@TechReport{oxford-prg-95, author = "Bryan S. Todd", title = "An introduction to expert systems", institution = "Oxford University Computing Laboratory", year = 1992, number = "Technical Monograph PRG-95" }

@TechReport{oxford-prg-96, author = "Jim Davies and Steve Schneider", title = "A brief history of timed CSP", institution = "Oxford University Computing Laboratory", year = 1992, number = "Technical Monograph PRG-96" }

@TechReport{oxford-prg-97, author = "Gregory D. Abowd", title = "Formal aspects of human-computer interaction", institution = "Oxford University Computing Laboratory", year = 1991, number = "Technical Monograph PRG-97" }

@TechReport{oxford-prg-98, author = "Oege de Moor", title = "Categories, relations and dynamic programming", institution = "Oxford University Computing Laboratory", year = 1992"", number = "Technical Monograph PRG-98", note = "Thesis (Ph.D.) -- St. John's College, 1991" }

@TechReport{oxford-prg-99, author = "C. Philip Winder", title = "Markovian analysis of texture: serial and parallel paradigms in low-level vision", institution = "Oxford University Computing Laboratory", year = 1992, number = "Technical Monograph PRG-99", note = "Thesis (Ph.D.) -- St. Hugh's College, 1991" }

@TechReport{oxford-prg-100, author = "Joseph A. Goguen", title = "The dry and the wet", institution = "Oxford University Computing Laboratory", year = 1992, number = "Technical Monograph PRG-100" }

@TechReport{oxford-prg-104, author = "Stephen Paul Wilson", title = "Equational reasoning support for Orwell", institution = "Oxford University Computing Laboratory", year = 1993, number = "Technical Monograph PRG-104" }

@TechReport{oxford-prg-105, author = "R. P. Highnam", title = "Model-based enhancement of mammographic images", institution = "Oxford University Computing Laboratory", year = 1992, number = "Technical Monograph PRG-105" }

@TechReport{oxford-prg-106, author = "Mark Philip Jones", title = "Qualified types: theory and practice", institution = "Oxford University Computing Laboratory", year = 1992, number = "Technical Monograph PRG-106", note = "Thesis (Ph.D.) -- the University of Oxford, 1992" }

@TechReport{oxford-prg-107, author = "S.M. Brien, J.E. Nicholls", title = "Z base standard version 1.0", institution = "Oxford University Computing Laboratory", year = 1992, number = "Technical Monograph PRG-107" }

@TechReport{oxford-prg-108, author = "M.H. Goldsmith, A.W. Roscoe, B.G.O. Scott", title = "Denotational semantics for occam2", institution = "Oxford University Computing Laboratory", year = 1992, number = "Technical Monograph PRG-108" }

@TechReport{oxford-prg-109, author = "B.S. Todd and R. Stamper", title = "The formal design and evaluation of a variety of medical diagnosis programs", institution = "Oxford University Computing Laboratory", year = 1993, number = "Technical Monograph PRG-109" }

@TechReport{oxford-prg-110, author = "Augusto Sampaio", title = "An algebraic approach to compiler design", institution = "Oxford University Computing Laboratory", year = 1993, number = "Technical Monograph PRG-110" }

@TechReport{oxford-prg-111, author = "Gavin Lowe", title = "Probabilities and priorities in timed CSP", institution = "Oxford University Computing Laboratory", year = 1993, number = "Technical Monograph PRG-111" }

@TechReport{oxford-prg-112, author = "Janet E. Barnes", title = "A mathematical theory of synchronous communication", institution = "Oxford University Computing Laboratory", year = 1993, number = "Technical Monograph PRG-112" }

@TechReport{oxford-prg-113, author = "Adolfo J. Socorro Ramos", title = "Design, implementation and evaluation of a declarative object-oriented programming language", institution = "Oxford University Computing Laboratory", year = 1993, number = "Technical Monograph PRG-113" }

@TechReport{oxford-prg-114, author = "Grant Malcolm and Joseph A. Goguen", title = "Proving correctness of refinement and implementation", institution = "Oxford University Computing Laboratory", year = 1994, number = "Technical Monograph PRG-114" }

@TechReport{oxford-prg-116, author = "R{\u{a}}zvan Diaconescu", title = "Category-based semantics for equational and constraint logic programming", institution = "Oxford University Computing Laboratory", year = 1994, number = "Technical Monograph PRG-116", key = "Razvan Diaconescu" }