@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"
}