@techreport{milne1979concurrent,
  title={Concurrent processes and their syntax},
  author={Milne, George and Milner, Robin},
  TYPE = {Internal Report},
  NUMBER = {CSR-2-77},
  INSTITUTION = {University of Edinburgh},
  DEPARTMENT = {Department of Computer Science},
  ADDRESS = {Edinburgh, Scotland},
  year={1977},
}

@techreport{milner1979flowgraphs,
  title={Flowgraphs and flow algebras},
  author={Milner, Robin},
  TYPE = {Internal Report},
  NUMBER = {CSR-5-77},
  INSTITUTION = {University of Edinburgh},
  DEPARTMENT = {Department of Computer Science},
  ADDRESS = {Edinburgh, Scotland},
  year={1977},
}

@techreport{casey1977domain,
  title={A domain structure for distributed computer systems},
  author={Casey, Liam and Shelness, Nick},
  TYPE = {Internal Report},
  NUMBER = {CSR-8-77},
  INSTITUTION = {University of Edinburgh},
  DEPARTMENT = {Department of Computer Science},
  ADDRESS = {Edinburgh, Scotland},
  year={1977},
}

@techreport{gordon1977edinburgh,
  title={Edinburgh LCF Report CSR-11-77 (Part 1)},
  author={Gordon, MJ and Milner, RJA and Wadsworth, C},
  TYPE = {Internal Report},
  NUMBER = {CSR-11-77},
  INSTITUTION = {University of Edinburgh},
  DEPARTMENT = {Department of Computer Science},
  ADDRESS = {Edinburgh, Scotland},
  year={1977}
}

@techreport{gordon1977edinburgh,
  title={Edinburgh LCF Report CSR-11-77 (Part 2)},
  author={Gordon, MJ and Milner, RJA and Wadsworth, C},
  TYPE = {Internal Report},
  NUMBER = {CSR-11-77},
  INSTITUTION = {University of Edinburgh},
  DEPARTMENT = {Department of Computer Science},
  ADDRESS = {Edinburgh, Scotland},
  year={1977}
}

@Article{Adams:1978:SUE,
  author =       "J. C. Adams and W. S. Currie and B. A. C. Gilmore",
  title =        "The Structure and Uses of the {Edinburgh Remote
  Terminal Emulator}",
  journal =      j-SPE,
  volume =       "8",
  number =       "4",
  pages =        "451--459",
  month =        jul # "\slash " # aug,
  year =         "1978",
  CODEN =        "SPEXBL",
  DOI =          "https://doi.org/10.1002/spe.4380080409",
  ISSN =         "0038-0644 (print), 1097-024X (electronic)",
  ISSN-L =       "0038-0644",
  bibdate =      "Sat May 31 13:36:16 MDT 1997",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/spe.bib",
  acknowledgement = ack-nhfb,
  ajournal =     "Softw. Pract. Exp.",
  fjournal =     "Software --- Practice and Experience",
  journal-URL =  "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X",
  onlinedate =   "27 Oct 2006",
}

@techreport{valiant1979complexity,
  title={The complexity of computing the permanent},
  author={Valiant, Leslie G},
  TYPE = {Internal Report},
  NUMBER = {CSR-14-77},
  INSTITUTION = {University of Edinburgh},
  DEPARTMENT = {Department of Computer Science},
  ADDRESS = {Edinburgh, Scotland},
  year={1977},
}

@TECHREPORT{VALIANT77RELIABILITY,
  AUTHOR={Valiant, Leslie G},
  TITLE={The complexity of enumeration and reliability problems},
  TYPE = {Internal Report},
  NUMBER = {CSR-15-77},
  INSTITUTION = {University of Edinburgh},
  DEPARTMENT = {Department of Computer Science},
  ADDRESS = {Edinburgh, Scotland},
  MONTH = {September},
  YEAR = {1977},
}

@TECHREPORT{GORDON77,
  AUTHOR = {Gordon, Michael J. and Milner, Robin and Morris, F. Lockwood and Newey, Malcolm and Wadsworth, Christopher P.},
  TITLE = {A Metalanguage For Interactive Proof in {LCF}},
  TYPE = {Internal Report},
  NUMBER = {CSR-16-77},
  INSTITUTION = {University of Edinburgh},
  DEPARTMENT = {Department of Computer Science},
  ADDRESS = {Edinburgh, Scotland},
  MONTH = {September},
  YEAR = {1977},
  CHECKED = {19 November 1995}
}

@TechReport{csr-18-77,
  author = 	 "N.H. Shelness, D.J. Rees, P.D. Stephens and J.K.
  		  Yarwood",
  title = 	 "An experiment in doing it again, but very well this
  		  time",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1977,
  number =	 "CSR-18-77"
}

@TechReport{csr-19-77,
  author = 	 "Peter S. Robertson",
  title = 	 "The IMP-77 language",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1977,
  number =	 "CSR-19-77"
}

@TechReport{csr-21-78,
  author = 	 "P. McLellan",
  title = 	 "LAYOUT",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1978,
  number =	 "CSR-21-78"
}

@TechReport{csr-25-78,
  author = 	 "Robin Milner",
  title = 	 "Algebras for communicating systems",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1978,
  number =	 "CSR-25-78"
}

@techreport{atkinson1978programming,
  title={Programming languages and databases},
  author={Atkinson, Malcolm P},
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1978,
  number =	 "CSR-26-78"
}

@TechReport{csr-49-79,
  author = 	 "Paul McLellan",
  title = 	 "LEGOS / User reference manual",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1979,
  number =	 "CSR-49-79"
}

@TechReport{csr-50-80,
  author = 	 "Jacek Leszczylowski",
  title = 	 "An experiment with Edinburgh LCF",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1980,
  number =	 "CSR-50-80"
}

@TechReport{csr-53-80,
  author = 	 "L.D.Smith",
  title = 	 "The Elementary Structural Description Language",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1980,
  number =	 "CSR-53-80"
}

@book{holtzman1980ggdl,
  title={GGDL: Generative Grammar Definitional Language},
  author={Holtzman, S.R.},
  series={Edinburgh CSR},
  url={https://books.google.com/books?id=_8t-GwAACAAJ},
  year={1980},
  publisher={University of Edinburgh}
}

@TechReport{csr-61-80,
  author = 	 "Jacek Leszczylowski",
  title = 	 "Theory of FP systems in EDINBURGH LCF",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1980,
  number =	 "CSR-61-80"
}

@TechReport{csr-62-80,
  author = 	 "R.M. Burstall, D.B. MacQueen, D.T. Sannella",
  title = 	 "HOPE: An experimental applicative language",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1980,
  number =	 "CSR-62-80"
}

@TechReport{csr-65-80,
  author = 	 "R.M. Burstall and J.A. Goguen",
  title = 	 "The semantics of clear, a specification language",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1980,
  number =	 "CSR-65-80"
}

@TechReport{csr-73-80,
  author = 	 "L.G. Valiant",
  title = 	 "Experiments with a parallel communication scheme",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1980,
  number =	 "CSR-73-80"
}

@TechReport{csr-74-80,
  author = 	 "J. Gordon Hughes",
  title = 	 "The edwin user's guide (Fourth edition)",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1981,
  number =	 "CSR-74-80"
}

@TechReport{csr-76-81,
  author = 	 "Avra Cohn",
  title = 	 "The equivalence of two semantic definitions: a case
  		  study in LCF",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1981,
  number =	 "CSR-76-81"
}

@TechReport{csr-77-81,
  author = 	 "Matthew Hennessy",
  title = 	 "A term model for synchronous processes",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1981,
  number =	 "CSR-77-81"
}

@TechReport{csr-78-81,
  author = 	 "Alan Mycroft",
  title = 	 "Call-by-need = Call-by-value + Conditional",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1981,
  number =	 "CSR-78-81"
}

@TechReport{csr-79-81,
  author = 	 "D. Sannella",
  title = 	 "A new semantics for clear",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1981,
  number =	 "CSR-79-81"
}

@TechReport{csr-80-81,
  author = 	 "R. Morrison,",
  title = 	 "S-algol: reference manual",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1981,
  number =	 "CSR-80-81",
  note =	 "Department of Computer Science, University of St
  		  Andrews"
}

@TechReport{csr-83-81,
  author = 	 "P. P{\"{a}}ppinghaus, M. Wirsing",
  title = 	 "Nondeterministic partial logic: isotonic and guarded
  		  truth-functions",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1981,
  key =          "P. Pappinghaus", 
  number =	 "CSR-83-81"
}

@TechReport{csr-85-81,
  author = 	 "Luca Cardelli",
  title = 	 "Sticks & stones: an applicative VLSI design language",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1981,
  number =	 "CSR-85-81"
}

@TechReport{csr-86-81,
  author = 	 "Finn V. Jensen",
  title = 	 "Inductive inference in reflexive domains",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1981,
  number =	 "CSR-86-81"
}

@TechReport{csr-87-81,
  author = 	 "Finn V. Jensen",
  title = 	 "An LCF-system for automatic creation of theories for
  		  1-constructable data types",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1981,
  number =	 "CSR-87-81"
}

@TechReport{csr-88-81,
  author = 	 "Alan Mycroft",
  title = 	 "The theory and practice of transforming call-by-need
  		  into call-by-value",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1981,
  number =	 "CSR-88-81"
}

@TechReport{csr-89-81,
  author = 	 "M. Broy, W. Dosch, B. M{\"{o}}ller, M. Wirsing",
  title = 	 "GOTOs - A study in the algebraic specification of
  		  programming languages",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1981,
  key =		 "B. Moller",
  number =	 "CSR-89-81"
}

@TechReport{csr-91-81,
  author = 	 "D.J. Rees",
  title = 	 "The structure of the EMAS 2900 kernel",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1981,
  number =	 "CSR-91-81"
}

@TechReport{csr-94-81,
  author = 	 "Malcolm Atkinson, Ken Chisholm, Paul Cockshott",
  title = 	 "PS-algol: an algol with a persistent heap",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1981,
  number =	 "CSR-94-81"
}

@TechReport{csr-97-82,
  author = 	 "S. Skyum and L.G. Valiant",
  title = 	 "A complexity theory based on Boolean algebra",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1982,
  number =	 "CSR-97-82"
}

@TechReport{csr-98-82,
  author = 	 "K.R. Apt, G.D. Plotkin",
  title = 	 "Countable nondeterminism and random assignment",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1982,
  number =	 "CSR-98-82"
}

@TechReport{csr-99-82,
  author = 	 "Wei Li",
  title = 	 "An Operational semantics of tasking and exception
  		  handling in Ada",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1982,
  number =	 "CSR-99-82"
}

@TechReport{csr-100-82,
  author = 	 "David A. Schmidt",
  title = 	 "Denotational semantics as a programming language",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1982,
  number =	 "CSR-100-82"
}

@TechReport{csr-101-82,
  author = 	 "R.M. Burstall, J.A. Goguen",
  title = 	 "Algebras, theories and freeness: an introduction for
  		  computer scientists",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1982,
  number =	 "CSR-101-82"
}

@TechReport{csr-102-82,
  author = 	 "M.B. Smyth, G.D. Plotkin",
  title = 	 "The category-theoretic solution of recursive domain
  		  equations",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1982,
  number =	 "CSR-102-82"
}

@TechReport{csr-103-82,
  author = 	 "Donald Sannella, Martin Wirsing",
  title = 	 "Implementation of parameterised specifications",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1982,
  number =	 "CSR-103-82"
}

@TechReport{csr-104-82,
  author = 	 "Robin Milner",
  title = 	 "Calculi for synchrony and asynchrony",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1982,
  number =	 "CSR-104-82"
}

@TechReport{csr105-82,
  author = 	 "Colin Stirling",
  title = 	 "Future branching time logics and fairness",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1982,
  number =	 "CSR-105-82"
}

@TechReport{csr-124-82,
  author = 	 "Matthew Hennessy",
  title = 	 "Axiomatising finite delay operators",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1982,
  number =	 "CSR-124-82"
}

@TechReport{csr-125-82,
  author = 	 "M. Hennessy",
  title = 	 "Synchronous and asynchronous experiments on
  		  processes",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1982,
  number =	 "CSR-125-82"
}

@TechReport{csr-126-83,
  author = 	 "M.B. Smyth",
  title = 	 "Power domains and predicate transformers: a
  		  topological view",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-126-83"
}

@TechReport{csr-127-83,
  author = 	 "George J. Milne",
  title = 	 "The correctness of a simple silicon compiler",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-127-83"
}

@TechReport{csr-128-83,
  author = 	 "A. Pettorossi, A. Skowron",
  title = 	 "Complete modal theories for verifying communicating
  		  agents behaviour in recursive equations programs",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-128-83"
}

@TechReport{csr-130-83,
  author = 	 "Roland Backhouse",
  title = 	 "Specification and proof of a regular language
  		  recogniser in synchronous CCS",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-130-83"
}

@TechReport{csr-csr-131-83,
  author = 	 "Donald Sannella and Martin Wirsing",
  title = 	 "A kernel language for algebraic specification and
  		  implementation",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-131-83"
}

@TechReport{csr-132-83,
  author = 	 "Colin Stirling",
  title = 	 "A proof theoretic characterization of observational
  		  equivalence",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-132-83"
}

@TechReport{csr-133-83,
  author = 	 "Matthew Hennessy and Robin Milner",
  title = 	 "Algebraic laws for nondeterminism and concurrency",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-133-83"
}

@TechReport{csr-134-83,
  author = 	 "David B. Benson",
  title = 	 "Counting paths: nondeterminism as linear algebra",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-134-83"
}

@TechReport{csr-135-83,
  author = 	 "M. Hennessy",
  title = 	 "A model for nondeterministic machines",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-135-83"
}

@TechReport{csr-136-83,
  author = 	 "M.W. Sheilds and M.J. Wray",
  title = 	 "A CCS specification of the OSI network service",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-136-83"
}

@TechReport{csr-137-83,
  author = 	 "Gerardo Costa and Colin Stirling",
  title = 	 "A fair calculus of communicating systems",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-137-83"
}

@TechReport{csr-138-83,
  author = 	 "George J. Milne",
  title = 	 "A formal basis for the analysis of circuit timing",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-138-83"
}

@TechReport{csr-139-83,
  author = 	 "Mark Jerrum",
  title = 	 "The complexity of finding minimum-length generator
  		  sequences",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-139-83"
}

@TechReport{csr-140-83,
  author = 	 "Stefan Sokolowski",
  title = 	 "A note on tactics in LCF",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-140-83"
}

@TechReport{csr-141-83,
  author = 	 "David Schmidt",
  title = 	 "A programming notation for tactical reasoning",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-141-83"
}

@TechReport{csr-142-83,
  author = 	 "David Schmidt",
  title = 	 "Natural deduction theorem proving in set theory",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-142-83"
}

@TechReport{csr-143-83,
  author = 	 "David Schmidt",
  title = 	 "Detecting global variables in denotational
  		  specifications",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1983,
  number =	 "CSR-143-83"
}

@TechReport{csr-159-84,
  author = 	 "Neil Bergmann",
  title = 	 "A case study of the F.I.R.S.T. silicon compiler",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-159-84"
}

@TechReport{csr-160-84,
  author = 	 "David B. MacQueen and Donald T. Sannella",
  title = 	 "Completeness of proof systems for equational
  		  specifications",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-160-84"
}

@TechReport{csr-161-84,
  author = 	 "Wei Li",
  title = 	 "A syntax-directed approach for implementing the
  		  rendezvous mechanism in Ada",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-161-84"
}

@TechReport{csr-162-84,
  author = 	 "Matthew Hennessy",
  title = 	 "Proving systolic systems correct",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-162-84"
}

@TechReport{csr-163-84,
  author = 	 "Ian C. Dennison",
  title = 	 "A sticks front end for scale",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-163-84"
}

@TechReport{csr-164-84,
  author = 	 "George Milne",
  title = 	 "Towards verifiably correct VLSI design",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-164-84"
}

@TechReport{csr-165-84,
  author = 	 "Andrzej Tarlecki",
  title = 	 "Abstract algebraic institutions which strongly admit
  		  initial semantics",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-165-84"
}

@TechReport{csr-166-84,
  author = 	 "Murray I. Cole",
  title = 	 "Partitioning programmable logic arrays",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-166-84"
}

@TechReport{csr-167-85,
  author = 	 "Gerardo Costa and Colin Stirling",
  title = 	 "Weak and strong fairness in CCS",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1985,
  number =	 "CSR-167-85"
}

@TechReport{csr-168-84,
  author = 	 "Robin Milner",
  title = 	 "The standard ML Core language",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-168-84"
}

@TechReport{csr-169-84,
  author = 	 "Gerardo Costa",
  title = 	 "A metric characterization of fair computations in
  		  CCS",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-169-84"
}

@techreport{csr-170-84,
  author = 	 "I.M. Nixon",
  title = 	 "I.F. / An idiomatic floorplanner",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-170-84"
}

@TechReport{csr-171-84,
  author = 	 "Matthew Hennessy",
  title = 	 "An algebraic theory of fair asynchronous
  		  communicating processes",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-171-84"
}

@TechReport{csr-172-84,
  author = 	 "Donald Sannella and Andrzej Tariecki",
  title = 	 "On observational equivalence and algebraic
  		  specification",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-172-84"
}

@TechReport{csr-173-84,
  author = 	 "Andrzej Tarlecki",
  title = 	 "Quasi-varieties in abstract algebraic institutions",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-173-84"
}

@TechReport{csr-174-84,
  author = 	 "George J. Milne",
  title = 	 "Simulation and verification related techniques for
  		  hardware analysis",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-174-84"
}

@TechReport{csr-175-84,
  author = 	 "Hamish Dewar",
  title = 	 "ECCE / Edinburgh Compatible Context Editor  video
  		  version",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-175-84"
}

@TechReport{csr-176-84,
  author = 	 "Finn V. Jensen, Kim G. Larsen",
  title = 	 "Recursively defined domains and their induction
  		  principles",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-176-84"
}

@TechReport{CSR-177-84,
  author = 	 "Peter D. Mosses and Gordon D. Plotkin",
  title = 	 "On proving limiting completeness",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-177-84"
}

@TechReport{csr-178-84,
  author = 	 "K.V.S. Prasad",
  title = 	 "Specification and proof of a simple fault tolerant
  		  system in CCS",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-178-84"
}

@TechReport{csr-179-84,
  author = 	 "Andrew Blake",
  title = 	 "Inferring surface shape by specular stereo",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1984,
  number =	 "CSR-179-84"
}

@TechReport{csr-181-85,
  author = 	 "R{\'{o}}derick Widdowson",
  title = 	 "An investigation into stretchable cells for Scale",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1985,
  key =		 "Roderick Widdowson",
  number =	 "CSR-181-85"
}

@TechReport{csr-183-85,
  author = 	 "Alex R. Deas",
  title = 	 "An extremal connectivity metric for partitioning
  		  VLSI designs",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1985,
  number =	 "CSR-183-85"
}

@TechReport{csr-184-85,
  author = 	 "Donald Sannella and Andrzej Tarlecki",
  title = 	 "Specifications in an arbitrary institution",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1985,
  number =	 "CSR-184-85"
}

@TechReport{csr-185-85,
  author = 	 "Oliver Schoett",
  title = 	 "Behavioural correctness of data representations",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1985,
  number =	 "CSR-185-85"
}

@TechReport{csr-187-85,
  author = 	 "Mark R. Jerrum, Leslie G. Valiant and Vijay V.
  		  Vazirani",
  title = 	 "Random generation of combinatorial structures from a
  		  uniform distribution",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1985,
  number =	 "CSR-187-85"
}

@TechReport{csr-188-85,
  author = 	 "Pedro Hepp and Moira Norrie",
  title = 	 "RAQUEL - User manual",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1985,
  number =	 "CSR-188-85"
}

@TechReport{csr-189-85,
  author = 	 "Colin Stirling",
  title = 	 "A compositional reformulation of Owicki-Gries's
  		  partial correctness for a parallel while language",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1985,
  number =	 "CSR-189-85"
}

@TechReport{csr-190-85,
  author = 	 "Mark Jerrum",
  title = 	 "Complementary partial orders and rectangle packing",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1985,
  number =	 "CSR-190-85"
}

@TechReport{csr-191-85,
  author = 	 "Moira Norrie",
  title = 	 "The Edinburgh node of the proteus distributed
  		  database system",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1985,
  number =	 "CSR-191-85"
}

@TechReport{csr-192-85,
  author = 	 "D.E. Rydeheard and R.M. Burstall",
  title = 	 "The unification of terms: a category - theoretic
  		  algorithm",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1985,
  number =	 "CSR-192-85"
}

@TechReport{csr-193-85,
  author = 	 "Colin Stirling",
  title = 	 "Modal logics for communicating systems",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1985,
  number =	 "CSR-193-85"
}

@TechReport{csr-194-85,
  author = 	 "Richard M. Marshall",
  title = 	 "IE / The reference manual",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1985,
  number =	 "CSR-194-85"
}

@TechReport{csr-197-86,
  author = 	 "Andrew Blake and Andrew Zisserman",
  title = 	 "Weak continuity constraints in computer vision",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1986,
  number =	 "CSR-197-86"
}

@TechReport{csr-199-86,
  author = 	 "B.S. Davie and G.J. Milne",
  title = 	 "The role of behaviour in VLSI design language",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1986,
  number =	 "CSR-199-86"
}

@TechReport{csr-201-86,
  author = 	 "Richard M. Marshall",
  title = 	 "OC: a portable occam compiler first pass",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1986,
  number =	 "CSR-201-86"
}

@TechReport{csr-206-86,
  author = 	 "Nick Rothwell",
  title = 	 "SILVER - the language and its implementation",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1986,
  number =	 "CSR-206-86"
}

@TechReport{csr-234-87,
  author = 	 "Tom Kean and Genbao Feng",
  title = 	 "Configurable logic: an approach to the rapid
  		  implementation of ASIC's",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1987,
  number =	 "CSR-234-87"
}

@TechReport{csr-241-87,
  author = 	 "Alistair Sinclair and Mark Jerrum",
  title = 	 "Approximate counting, uniform generation and rapidly
  		  mixing Markov chains",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1987,
  number =	 "CSR-241-87"
}

@TechReport{csr-247-87,
  author = 	 "Nigel Topham, Amos Omondi and Roland Ibbett",
  title = 	 "On the design and performance of pipelined
  		  architectures",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1987,
  number =	 "CSR-247-87"
}

@TechReport{csr-251-87,
  author = 	 "Mauro Pezze",
  title = 	 "Behavioural abstraction and circuit verification
  		  using CIRCAL",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1987,
  number =	 "CSR-251-87"
}

@TechReport{csr-254-88,
  author = 	 "R.J. Pooley and M.W. Brown",
  title = 	 "A diagramming paradigm for hierarchical process
  		  oriented discrete event simulation",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1988,
  number =	 "CSR-254-88"
}

@TechReport{csr-255-88,
  author = 	 "Alex Deas",
  title = 	 "Chromatic idioms for automated VLSI floorplanning",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1988,
  number =	 "CSR-255-88"
}

@TechReport{csr-281-88,
  author = 	 "Mark Jerrum and Alistair Sinclair",
  title = 	 "Fast uniform generation of regular graphs",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1988,
  number =	 "CSR-281-88"
}

@TechReport{csr-293-89,
  author = 	 "Steve Proctor",
  title = 	 "Virtual objects: hiding the distribution in
  		  distributed systems",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1989,
  number =	 "CSR-293-89"
}

@TechReport{csr-309-89,
  author = 	 "Mark Jerrum, Brendan McKay and Alistair Sinclair",
  title = 	 "When is a graphical sequence stable?",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1989,
  number =	 "CSR-309-89"
}

@TechReport{csr-6-90,
  author = 	 "Rob Pooley",
  title = 	 "Introduction to the second Posie report",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1990,
  number =	 "CSR-6-90"
}

@TechReport{csr-7-90,
  author = 	 "Leslie Ann Henderson",
  title = 	 "Efficient algorithms for listing unlabeled graphs",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1990,
  number =	 "CSR-7-90"
}

@TechReport{csr-8-90,
  author = 	 "Leslie Ann Henderson",
  title = 	 "Automating P{\'{o}}lya theory: the computational
  		  complexity of the cycle index polynomial",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1990,
  key =          "Automating Polya theory: the computational
  		  complexity of the cycle index polynomial"
  number =	 "CSR-8-90"
}

@TechReport{csr-9-90,
  author = 	 "Mark Jerrum",
  title = 	 "The elusiveness of large cliques in a random graph",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1990,
  number =	 "CSR-9-90"
}

@TechReport{csr-12-91,
  author = 	 "Mark Jerrum",
  title = 	 "Simple translation-invariant concepts are hard to
  		  learn",
  institution =  "University of Edinburgh, Department of Computer
  		  Science ",
  year = 	 1991,
  number =	 "CSR-12-91"
}

@TechReport{csr-13-91,
  author = 	 "Ping Yeung and David Rees",
  title = 	 "A comparison of hardware description languages",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1991,
  number =	 "CSR-13-91"
}

@TechReport{csr-15-91,
  author = 	 "P.F. Yeung and D.J. Rees",
  title = 	 "The Role of logic synthesis in high-level synthesis",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1991,
  number =	 "CSR-15-91"
}

@TechReport{csr-16-91,
  author = 	 "Gordon Brebner",
  title = 	 "Configurable array logic circuits for computing
  		  network error detection codes",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1991,
  number =	 "CSR-16-91"
}

@TechReport{csr-17-91,
  author = 	 "Gordon Brebner",
  title = 	 "A CCS-based investigation of deadlock in a
  		  multi-process electronic mail system",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1991,
  number =	 "CSR-17-91"
}

@TechReport{csr-18-91,
  author = 	 "Murray Cole",
  title = 	 "Graph reduction and pipelined parallel algorithms",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1991,
  number =	 "CSR-18-91"
}

@TechReport{csr-19-92,
  author = 	 "D.J. Rogers and R.N. Ibbett",
  title = 	 "Design of a bit-sliced network for a shared-memory
  		  multiprocessor system",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1992,
  number =	 "CSR-19-92"
}

@TechReport{csr-20-92,
  author = 	 "Jane Hillston",
  title = 	 "A tool to enhance model exploitation",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1992,
  number =	 "CSR-20-92"
}

@TechReport{csr-21-92,
  author = 	 "R.N. Ibbett",
  title = 	 "Final report on the DTI-funded awareness initiative
  		  in object oriented computing",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1992,
  number =	 "CSR-21-92"
}

@TechReport{csr-22-92,
  author = 	 "Richard A. Eyre-Todd",
  title = 	 "Pointers and multi-dimensional arrays",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1992,
  number =	 "CSR-22-92"
}

@TechReport{csr-23-92,
  author = 	 "Tim J. Harris",
  title = 	 "A survey of PRAM simulation techniques",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1992,
  number =	 "CSR-23-92"
}

@TechReport{csr-24-93,
  author = 	 "Jane Hillston",
  title = 	 "PEPA: performance enhanced process algebra",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1992,
  number =	 "CSR-24-93"
}

@TechReport{csr-25-93,
  author = 	 "Murray Cole",
  title = 	 "Parallel programming, list homomorphisms and the
  		  maximum segment sum problem",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1993,
  number =	 "CSR-25-93"
}

@TechReport{csr-26-93,
  author = 	 "Jane Hillston and Faron Moller  (editors)",
  title = 	 "Proceedings of workshop on process algebra and
  		  performance modelling",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1993,
  number =	 "CSR-26-93",
  note =         "Neil Davies, Uni. of Bristol  /  Developing systems
  		    with awareness of performance
                  Chris Tofts, Uni. of Swansea  /  Processes with
  		    probabilities, priority and time
                  Jane Hillston, Univ. of Edinburgh  /  PEPA: A
  		    performance evaluation process algebra
                  Norbert G{\"{o}}tz, Ulrich Herzog & Michael
  		    Rettelbach, Univ. of Erlangen  /  TIPP: A stochastic
  		    process algebra
                  Peter Harrison & Ben Strulo, Imperial College,
  		    London  /  Process algebra for discrete event
  		    simulation 
                  Rob Pooley, Univ. of Edinburgh  /  Deriving
  		    functional properties of process based simulation
  		    models
                  Gianluigi Ferrari & Ugo Montanari, Univ. of Pisa  / 
                    Observing time-complexity of concurrent programs
                  Gavin Lowe, Oxford Univ.  /  Pravda: A tool for
  		    verifying probabilistic processes
                  Faron Moller, Univ. of Edinburgh  /  Cinnamon Buns",
}

@TechReport{csr-27-93,
  author = 	 "Todd Heywood, Kishan Mehrotra, Sanjay Ranka",
  title = 	 "The performance of Barnes-Hut N-body simulation in
  		  the abstract",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1993,
  number =	 "CSR-27-93"
}

@TechReport{csr-28-93,
  author = 	 "Todd Heywood, Claudia Leopold",
  title = 	 "Models of parallelism",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1993,
  number =	 "CSR-28-93"
}

@TechReport{csr-29-93,
  author = 	 "Murray Cole",
  title = 	 "List homomorphic parallel algorithms for bracket
  		  matching",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1993,
  number =	 "CSR-29-93"
}

@TechReport{csr-30-94,
  author = 	 "Roberto A. Hexsel, Nigel P. Topham",
  title = 	 "The performance of SCI memory hierarchies",
  institution =  "University of Edinburgh, Department of Computer
  		  Science",
  year = 	 1994,
  number =	 "CSR-30-94"
}