Outline of a mathematical theory of computation, Dana Scott
@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"
}

The lattice of flow diagrams, Dana Scott
@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"
}

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

Toward a mathematical semantics for computer languages, Dana Scott and Christopher Strachey
@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"
}

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

The text of OSPub, Christopher Strachey and Joseph Stoy
@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)"
}

The text of OSPub, Christopher Strachey and Joseph Stoy
@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)"
}

The varieties of programming language, Christopher Strachey
@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"
}

Report on the programming notation 3R, Andrew P. Black
@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"
}

The specification of abstract mappings and their implementation as B$^+$-trees, Elizabeth Fielding
@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"
}

Partial correctness of communicating processes and protocols, Zhou Chao Chen and C. A. R. Hoare
@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"
}

A model for communicating sequential processes, C. A. R. Hoare
@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"
}

A calculus of total correctness for communicating processes, C.A.R. Hoare
@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"
}

The consistency of the calculus of total correctness for communicating processes, Zhou Chaochen
@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"
}

Specifications, programs and implementations, C. A. R. Hoare
@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" 
}

The lispkit manual, Peter Henderson, Geraint A. Jones, Simon B. Jones
@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)"
}

The lispkit manual, Peter Henderson, Geraint A. Jones, Simon B. Jones
@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)"
}

Abstract machine support for purely functional operating systems, Simon B. Jones
@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"
}

The formal specification of a conference organizing system, T. Clement
@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"
}

Specification-oriented semantics for communicating processes, E.-R. Olderog and C. A. R. Hoare
@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"
}

Making nets abstract and structured and nets and their relation to CSP, Ludwik Czaja
@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"
}

$\mu$FP - an algebraic VLSI design language, Mary Sheeran
@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"
}

The design and implementation of programming languages, John Hughes
@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"
}

A range of operating systems written in a purely functional style, Simon B. Jones
@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"
}

The weakest prespecification, C. A. R. Hoare and He, Jifeng
@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"
}

Laws of programming a tutorial paper, C. A. R. Hoare, et. al.
@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"
}

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

Specifying the CICS application programmer's interface, Ian Hayes
@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"
}

CAVIAR: a case study in specification, Bill Flinn and Ib Holm S\orensen
@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"
}

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

The distributed computing software project, Roger Gimson, Carroll Morgan
@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"
}

JSD expressed in CSP, K. T. Sridhar, C. A. R. Hoare
@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"
}

Algebraic specification and proof of properties of communicating sequential processes, C. A. R. Hoare and He Jifeng
@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"
}

The laws of occam programming, A. W. Roscoe and C. A. R. Hoare
@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"
}

Exploiting parallelism in the graphics pipeline, Theoharis A. Theoharis
@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"
}

Functional programming with side-effects, Mark B. Josephs
@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"
}

An introduction to the theory of lists, Richard S. Bird
@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"
}

The pursuit of deadlock freedom, A. W. Roscoe and Naiem Dathi
@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"
}

Formal methods applied to a floating point number system, Geoff Barrett
@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"
}

The formal specification of a microprocessor instruction set, Jonathan Bowen
@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"
}

The specification of network services, Jonathan Bowen, Roger Gimson, Stig Topp-J\orgensen
@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"
}

The formal documentation of a block storage service, Roger Gimson
@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"
}

Specifying system implementations in z, Jonathan Bowen, Roger Gimson, Stig Topp-J\orgensen
@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"
}

A calculus of functions for program derivation, Richard Bird
@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"
}

An introduction to CSP, J. W. Sanders
@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"
}

The sliding-window protocol in CSP, K. Paliwoda and J.W. Sanders
@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"
}

Two papers on CSP, A.W. Roscoe
@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"
}

Z: rammar and concrete and abstract syntaxes (Version 2.0), Steve King, Ib Holm S\orensen, Jim Woodcok
@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"
}

Lectures on constructive functional programming, R.S. Bird
@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"
}

On the refinement calculus, Carroll Morgan, Ken Robinson and Paul Gardiner
@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"
}

A formal model through homogeneity theory of adaptive reasoning, Roberto Garigliano and Derek Long
@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"
}

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

Combinator graph reduction : A congruence and its applications, David Lester
@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"
}

Formal specification of window systems, Jonathan Bowen
@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"
}

An introduction to timed CSP, Jim Davies, Steve Schneider
@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"
}

The rewrite rule machine, 1988, Joseph Goguen, Sany Leinwand, Jos\'e Meseguer, Timothy Winkler
@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 = 	 ""
}

Efficient intersection tests for objects defined constructively , S. Cameron
@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"
}

Collision detection by four-dimensional inrtersection testing, S. Cameron
@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"
}

Maintaining consistency in distributed databases, A. W. Roscoe
@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"
}

Investigations into the complexity of some propositional calculi, Marcello D'Agostino
@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"
}

Four pieces on error, truth and reality, Joseph A. Goguen
@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"
}

Data refinement in a categorical setting, He Jifeng, C.A.R. Hoare
@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"
}

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

The logic of B, P.H.B. Gardiner, T.N. Vickers
@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"
}

Specification and proof in real-time systems, Jim Davies
@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"
}

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

An introduction to expert systems, Bryan S. Todd
@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"
}

A brief history of timed CSP, Jim Davies and Steve Schneider
@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"
}

Formal aspects of human-computer interaction, Gregory D. Abowd
@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"
}

Categories, relations and dynamic programming, Oege de Moor
@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"
}

Markovian analysis of texture: serial and parallel paradigms in low-level vision, C. Philip Winder
@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" 
}

The dry and the wet, Joseph A. Goguen
@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"
}

Equational reasoning support for Orwell, Stephen Paul Wilson
@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"
}

Model-based enhancement of mammographic images, R. P. Highnam
@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"
}

Qualified types: theory and practice, Mark Philip Jones
@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"
}

Z base standard version 1.0, S.M. Brien, J.E. Nicholls
@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"
}

Denotational semantics for occam2, M.H. Goldsmith, A.W. Roscoe, B.G.O. Scott
@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"
}

The formal design and evaluation of a variety of medical diagnosis programs, B.S. Todd and R. Stamper
@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"
}

An algebraic approach to compiler design, Augusto Sampaio
@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"
}

Probabilities and priorities in timed CSP, Gavin Lowe
@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"
}

A mathematical theory of synchronous communication, Janet E. Barnes
@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"
}

Design, implementation and evaluation of a declarative object-oriented programming language, Adolfo J. Socorro Ramos
@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"
}

Proving correctness of refinement and implementation, Grant Malcolm and Joseph A. Goguen
@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"
}

Category-based semantics for equational and constraint logic programming, R\uazvan Diaconescu
@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"
}