@TechReport{cst-6-79,
  author = 	 "Avra Jean Cohn",
  title = 	 "Machine assisted proofs of recursion implementation",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1980,
  number =	 "CST-6-79",
  note =	 "Thesis"
}

@TechReport{cst-14-81,
  author = 	 "David Eric Rydeheard",
  title = 	 "Applications of category theory to programming and
		  program specification",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1981,
  number =	 "CST-14-81",
  note =	 "Thesis"
}

@TechReport{cst-15-81,
  author = 	 "Alan Mycroft",
  title = 	 "Abstract interpretation and optimising
		  transformations for applicative programs",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1981,
  number =	 "CST-15-81"
  note =         "Thesis".
}

@TechReport{cst-16-82,
  author = 	 "Luca Cardelli",
  title = 	 "An algebraic approach to hardware description 
                  and verification",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1982,
  number =	 "CST-16-82",
  note =	 "Thesis"
}

@TechReport{cst-17-82,
  author = 	 "Donald Theodore Sannella",
  title = 	 "Semantics, implementation and pragmatics of clear, a
		  program specification language",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1982,
  number =	 "CST-17-82",
  note =	 "Thesis"
}

@TechReport{cst-19-82,
  author = 	 "Michael Thomas Sanderson",
  title = 	 "Proof Techniques for CCS ",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1982,
  number =	 "CST-19-82",
  note =	 "Thesis"
}

@TechReport{cst-20-83,
  author = 	 "Wei Li",
  title = 	 "An operational approach to semantics and translation
		  for concurrent programming languages",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1983,
  number =	 "CST-20-83",
  note =	 "Thesis"
}

@TechReport{cst-30-84,
  author = 	 "Hanne Riis Nielson",
  title = 	 "Hoare logic's for run-time analysis of programs",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1984,
  number =	 "CST-30-84",
  note =	 "Thesis"
}

@TechReport{cst-31-84,
  author = 	 "Flemming Nielson",
  title = 	 "Abstract interpretation using domain theory",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1984,
  number =	 "CST-31-84",
  note =	 "Thesis"
}

@TechReport{cst-32-84,
  author = 	 "Gabriel Olusegun Owoso",
  title = 	 "Data description and manipulation in persistent
		  programming languages",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1984,
  number =	 "CST-32-84",
  note =	 "Thesis"
}

@TechReport{cst-33-85,
  author = 	 "Luis Manuel Martins Damas",
  title = 	 "Type assignment in programming languages",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1985,
  number =	 "CST-33-85",
  note =	 "Thesis"
}

@TechReport{cst-34-85,
  author = 	 "Brian Quentin Monahan",
  title = 	 "Data type proofs using Edinburgh LCF",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1985,
  number =	 "CST-34-85",
  note =	 "Thesis"
}

@TechReport{cst-42-87,
  author = 	 "Oliver Schoett",
  title = 	 "Data abstraction and the correctness of 
                  modular programming",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1987,
  number =	 "CST-42-87",
  note =	 "also published as ECS-LFCS-87-19: Thesis"
}

@TechReport{cst-45-87,
  author = 	 "George Alexander McCaskill",
  title = 	 "Generating programming environments with integrated
		  text and graphics for VLSI design systems",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1987,
  number =	 "CST-45-87",
  note =	 "Thesis"
}

@TechReport{cst-46-87,
  author = 	 "Mark Millington",
  title = 	 "Theories of translation correctness for concurrent
		  programming languages",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1987,
  number =	 "CST-46-87",
  note =	 "also published as ECS-LFCS-87-39: Thesis"
}

@TechReport{cst-47-87,
  author = 	 "Tatsuya Hagino",
  title = 	 "A categorical programming language",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1987,
  number =	 "CST-47-87",
  note =	 "also published as ECS-LFCS-87-38: Thesis"
}

@TechReport{cst-49-88,
  author = 	 "Roderick David Wolfe Widdowson",
  title = 	 "Parallel algorithms and architectures for VLSI
		  pattern generation",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-49-88",
  note =	 "Thesis"
}

@TechReport{cst-50-88,
  author = 	 "Ian Michael Nixon",
  title = 	 "The automatic synthesis of fault tolerant and fault
		  secure VLSI systems",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988"",
  number =	 "CST-50-88",
  note =	 "Thesis"
}

@TechReport{cst-51-88,
  author = 	 "Ilaria Castellani",
  title = 	 "Bisimulations for concurrency",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-51-88",
  note =	 "Also published as LFCS-88-51: Thesis"
}

@TechReport{cst-52-88,
  author = 	 "Mads Tofte",
  title = 	 "Operational semantics and polymorphic type inference",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-52-88",
  note =	 "Also published as ECS-LFCS-88-54: Thesis"
}

@TechReport{cst-53-88,
  author = 	 "Eugenio Moggi",
  title = 	 "The partial lambda-calculus",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-53-88",
  note =	 "Also published as ECS-LFCS-88-63: Thesis"
}

@TechReport{cst-54-88,
  author = 	 "Laurent Chevalier Langlois",
  title = 	 "Parallel parsing of context-free languages on an
		  array of processors",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988"",
  number =	 "CST-54-88",
  note =	 "Thesis"
}

@TechReport{cst-55-88,
  author = 	 "Bruce S. Davie",
  title = 	 "A formal, hierarchical design and validation
		  methodology for VLSI",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-55-88",
  note =	 "Thesis"
}

@TechReport{cst-56-88,
  author = 	 "Murray I. Cole",
  title = 	 "Algorithmic skeletons: a structured approach to the
		  management of parallel computation",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-56-88",
  note =	 "Thesis"
}

@TechReport{cst-57-88,
  author = 	 "Brian Ritchie",
  title = 	 "The design and implementation of an interactive proof
		  editor",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-57-88",
  note =	 "LFCS-88-68: Thesis"
}

@TechReport{cst-58-88,
  author = 	 "Alistair Sinclair",
  title = 	 "Randomised algorithms for counting and generating
		  combinatorial structures",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1988,
  number =	 "CST-58-88",
  note =	 "Thesis"
}

@TechReport{cst-59-89,
  author = 	 "Faron Moller",
  title = 	 "Axioms for concurrency",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1989,
  number =	 "CST-59-89",
  note =	 "Also published as ECS-LFCS-89-84"
}

@TechReport{cst-60-89,
  author = 	 "Gavin J. Brelstaff",
  title = 	 "Inferring surface shape from specular reflections",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1989,
  number =	 "CST-60-89",
  note =	 "Thesis"
}

@TechReport{cst-61-89,
  author = 	 "Mark Davoren",
  title = 	 "A structural approach to the mapping problem in
		  parallel discrete event logic simulations",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1989,
  number =	 "CST-61-89",
  note =	 "Thesis"
}

@TechReport{cst-62-89,
  author = 	 "Thomas Andrew Kean",
  title = 	 "Configurable logic: a dynamically programmable
		  cellular architecture and its VLSI implementation",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1989,
  number =       "CST-62-89",
  note = 	 "Thesis"
}

@TechReport{cst-63-90,
  author = 	 "Claire Jones",
  title = 	 "Probabilistic non-determinism",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =       "CST-63-90",
  note = 	 "also published as ECS-LFCS-90-105: Thesis"
}

@TechReport{cst-64-90,
  author = 	 "Gary D. Law",
  title = 	 "The design of protocols for high performance in a
		  networked computing environment",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =       "CST-64-90",
  note =         "Thesis"
}

@TechReport{cst-65-90,
  author = 	 "Zhaohui Luo",
  title = 	 "An extended calculus of constructions",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =	 "CST-65-90",
  note =	 "also published as ECS-LFCS-90-118: Thesis"
}

@TechReport{cst-66-90,
  author = 	 "Mads Frederik Dam",
  title = 	 "Relevance logic and concurrent composition",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =	 "CST-66-90",
  note =	 "also published as ECS-LFCS-90-119: thesis"
}

@TechReport{cst-67-90,
  author = 	 "Thomas George Waring",
  title = 	 "Integrated silicon assembly",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =	 "CST-67-90",
  note =	 "Thesis"
}

@TechReport{cst-68-90, 
  author = 	 "Andreas Knobel",
  title = 	 "Constructive lambda-models",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =       "CST-68-90",
  note = 	 "also published as ECS-LFCS-90-120: Thesis"
}

@TechReport{cst-69-90,
  author = 	 "David Pym",
  title = 	 "Proofs, search and computation in general logic",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =	 "CST-69-90",
  note =	 "also published as ECS-LFCS-90-125: Thesis"
}

@TechReport{cst-70-90,
  author = 	 "Stephen W. Proctor",
  title = 	 "Resource provision in object oriented distributed systems",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =	 "CST-70-90",
  note =	 "Thesis"
}

@TechReport{cst-71-91, 
  author = 	 "Carolyn T. Brown",
  title = 	 "Linear logic and petri nets: categories, algebra and
		  proof",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-71-91",
  note =	 "also published as ECS-LFCS-91-129: Thesis"
}

@TechReport{cst-72-91, 
  author = 	 "Douglas J. Gurr",
  title = 	 "Semantic frameworks for complexity",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-72-91",
  note =         "also published as ECS-LFCS-91-130: Thesis",
}

@TechReport{cst-73-91,
  author = 	 "William M. Anderson",
  title = 	 "A survey of polynomial factorisation algorithms",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-73-91",
  note =	 "Thesis"
}

@TechReport{cst-74-91, 
  author = 	 "Chris Tofts",
  title = 	 "Proof methods and pragmatics for parallel programming",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-74-91",
  note =         "also published as ECS-LFCS-91-140: Thesis"
}

@TechReport{cst-75-91, 
  author = 	 "James Harold Andrews",
  title = 	 "Logic programming: operational semantics and proof theory",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-75-91",
  note =         "also published as ECS-LFCS-91-141: Thesis"
}

@TechReport{cst-76-91, 
  author = 	 "Stephen Gilmore",
  title = 	 "Correctness-oriented approaches to software development",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-76-91",
  note =         "also published as ECS-LFCS-91-147: Thesis"
}

@TechReport{cst-77-91,
  author = 	 "K.V.S. Prasad",
  title = 	 "Combinators and bisimulation proofs for restartable 
                  systems",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-77-91",
  note =	 "also published as ECS-LFCS-91-149: Thesis"
}

@TechReport{cst-78-91,
  author = 	 "Pawet P{\c{a}}czkowksi",
  title = 	 "Annotated transition systems for verifying
		  concurrent programs",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  key =		 "Pawet Paczkowksi",
  number =	 "CST-78-91",
  note =	 "also published as ECS-LFCS-91-150: Thesis"
}

@TechReport{cst-79-91,
  author = 	 "Dave Berry",
  title = 	 "Generating program animators from programming
                  language semantics",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-79-91",
  note =	 "also published as ECS-LFCS-91-163: Thesis"
}

@TechReport{cst-80-91,
  author = 	 "Gianluigi Bellin",
  title = 	 "Mechanizing proof theory: resource-aware logics and
                  proof-transformations to extract implicit information",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1990,
  number =       "CST-80-91",
  note =	 "also published as ECS-LFCS-91-165"
}

@TechReport{cst-81-91,
  author = 	 "James Harland",
  title = 	 "On hereditary Harrop formulae as a basis for 
                  logic programming",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-81-91",
  note =	 "also published as ECS-LFCS-91-170"
}

@TechReport{cst-82-91,
  author = 	 "Wesley Phoa",
  title = 	 "Domain theory in realizability toposes",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-82-91",
  note =	 "also published as ECS-LFCS-91-171"
}

@TechReport{cst-83-91,
  author = 	 "Julian Charles Bradfield",
  title = 	 "Verifying temporal properties of systems with
                  applications to Petri nets",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-83-91",
  note =	 "also published as ECS-LFCS-91-172"
}

@TechReport{cst-84-91,
  author = 	 "Timothy E.A. Lees",
  title = 	 "Context flow architecture",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-84-91"
}

@TechReport{cst-85-91,
  author = 	 "Thomas R. Stiemerling",
  title = 	 "Design and simulation of an MIMD shared memory 
                  multiprocessor with interleaved instruction streams",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  number =       "CST-85-91"
}

@TechReport{cst-86-91,
  author = 	 "Hans H{\"{u}}ttel",
  title = 	 "Decidability, behavioural equivalences and 
                  infinite transition graphs",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1991,
  key =          "Hans Huttel",
  number =       "CST-86-91",
  note =	 "also published as ECS-LFCS-91-191"
}

@TechReport{cst-87-92,
  author = 	 "Simon John Ambler",
  title = 	 "First order linear logic in symmetric monoidal
                  closed categories",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =       "CST-87-92",
  note =	 "also published as ECS-LFCS-92-194"
}

@TechReport{cst-88-92,
  author = 	 "Matthew V.H. Fairtlough",
  title = 	 "Ordinal complexity of recursive programs and
                  their termination proofs",
  institution =  "University of Edinburgh, Department of Computer Science",
  year =         1992,
  number =       "CST-88-92",
  note =         "also published as ECS-LFCS-92-196" 
}

@TechReport{cst-89-92,
  author = 	 "Leslie Ann Goldberg",
  title = 	 "Efficient algorithms for listing combinatorial structures",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =       "CST-89-92",
  note =	 "also published as ECS-LFCS-92-198"
}

@TechReport{cst-90-92,
  author = 	 "Jingling Xue",
  title = 	 "The formal synthesis of control signals for systolic
		  arrays",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =       "CST-90-92",
  note =	 "also published as ECS-LFCS-92-203"
}

@TechReport{cst-91-92,
  author = 	 "Yong Sun",
  title = 	 "A framework for binding operators",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =       "CST-91-92",
  note =	 "also published as ECS-LFCS-92-207"
}

@TechReport{cst-92-92,
  author = 	 "Jorge Farr{\'{e}}s-Casals",
  title = 	 "Verification in ASL and related specification languages",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  key =          "Jorge Farres-Casals",
  number =       "CST-92-92",
  note =	 "also published as ECS-LFCS-92-220"
}

@TechReport{cst-93-92,
  author = 	 "Philippa Gardner",
  title = 	 "Representing logics in type theory",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =       "CST-93-92",
  note =	 "also published as ECS-LFCS-92-227"
}

@TechReport{cst-94-92,
  author = 	 "Ping F. Yeung",
  title = 	 "High-level synthesis of VLSI circuits",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =	 "CST-94-92"
}

@TechReport{cst-95-92,
  author = 	 "Fabio Q B da Silva",
  title = 	 "Correctness proofs of compilers and debuggers: an
		  approach based on structural operational semantics",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =	 "CST-95-92",
  note =	 "also published as ECS-LFCS-92-241"
}

@TechReport{cst-96-92,
  author = 	 "James Hugh McKinna",
  title = 	 "Deliverables: a categorical approach to program
		  development in type theory",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1992,
  number =	 "CST-96-92",
  note =	 "also published as ECS-LFCS-92-247"
}

@TechReport{cst-97-93,
  author = 	 "Michael V. Mendler",
  title = 	 "A modal logic for handling behavioural constraints
		  in formal hardware verification",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-97-93",
  note =	 "also published as ECS-LFCS-93-255"
}

@TechReport{cst-98-93,
  author = 	 "Paul W. Goldberg",
  title = 	 "PAC-learning geometrical figures",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-98-93",
  note =	 "also published as ECS-LFCS-93-258"
}

@TechReport{cst-99-93,
  author = 	 "Davide Sangiorgi",
  title = 	 "Expressing mobility in process algebras:
		  first-order and higher-order paradigms",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-99-93",
  note =	 "also published as ECS-LFCS-93-266"
}

@TechReport{cst-100-93,
  author = 	 "Kees G.W. Goossens",
  title = 	 "Embedding hardware description languages in proof
		  systems",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-100-93",
  note =         "also published as ECS-LFCS-93-268"
}

@TechReport{cst-101-93,
  author = 	 "Liang Chen",
  title = 	 "Timed processes : models, axioms and decidability",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-101-93",
  note =	 "also published as ECS-LFCS-93-271"
}

@TechReport{cst-102-93,
  author = 	 "Sathiamoorthy Manoharan",
  title = 	 "Task assignment in parallel processor systems",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-102-93"
}

@TechReport{cst-103-93,
  author = 	 "Claudio Alberto Hermida",
  title = 	 "Fibrations, logical predicates and indeterminates",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-103-93",
  note =	 "also published as ECS-LFCS-93-277"
}

@TechReport{cst-104-93,
  author = 	 "Kayhan Imre",
  title = 	 "A performance monitoring and analysis environment
		  for distributed memory MIMD programs",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-104-93"
}

@TechReport{cst-105-93,
  author = 	 "S¦Őren Christensen",
  title = 	 "Decidability and decomposition in process algebras",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  key =          "Soren Christensen",
  number =	 "CST-105-93",
  note =	 "also published as ECS-LFCS-93-278"  
}

@TechReport{cst-106-93,
  author = 	 "Thorsten Altenkirch",
  title = 	 "Constructions, inductive types and strong normalization",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1993,
  number =	 "CST-106-93",
  note =	 "also published as ECS-LFCS-93-279"
}

@TechReport{cst-107-94,
  author = 	 "Jane Hillston",
  title = 	 "A compositional approach to performance modelling",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-107-94"
}

@TechReport{cst-108-94,
  author = 	 "Paul Martin",
  title = 	 "Adding safe and effective load balancing to multicomputers",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-108-94"
}

@TechReport{cst-109-94,
  author = 	 "Joseph Phillips",
  title = 	 "A statistical investigation of the factors
		  influencing the performance of parallel programs,
		  with application to a study of process migration strategies",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-109-94"
}

@TechReport{cst-110-94,
  author = 	 "Healfdene Goguen",
  title = 	 "A typed operational semantics for type theory",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-110-94"
}

@TechReport{cst-111-94,
  author = 	 "Amanda Jayne Welsh",
  title = 	 "Effective software support for chemical research",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-111-94"
}

@TechReport{cst-112-94,
  author = 	 "Roberto A. Hexsel",
  title = 	 "A quantitative performance evaluation of SCI memory
		  hierarchies ",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-112-94"
}

@TechReport{cst-113-94,
  author = 	 "Marcelo P. Fiore",
  title = 	 "Axiomatic domain theory in categories of partial maps",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-113-94",
  note =	 "also published as ECS-LFCS-94-307"
}

@TechReport{cst-114-94,
  author = 	 "Alex K. Simpson",
  title = 	 "The proof theory and semantics of intuitionistic
		  modal logic",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1994,
  number =	 "CST-114-94",
  note =	 "also published as ECS-LFCS-94-308"
}

@TechReport{cst-115-95,
  author = 	 "Robert Pollack",
  title = 	 "The theory of LEGO : a proof checker for the extended
		  calculus of constructions",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-115-95",
  note =	 "also published as ECS-LFCS-95-323"
}

@TechReport{cst-116-95,
  author = 	 "Robert John Pooley",
  title = 	 "Formalising the description of process based
		  simulation models",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-116-95"
}

@TechReport{cst-117-95,
  author = 	 "Martin Hofmann",
  title = 	 "Extensional concepts in intensional type theory",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-117-95",
  note =	 "also published as ECS-LFCS-95-327"
}

@TechReport{cst-118-95,
  author = 	 "Peter Michael Sewell",
  title = 	 "The algebra of finite state processes",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-118-95",
  note =	 "also published as ECS-LFCS-95-328"
}

@TechReport{cst-119-95,
  author = 	 "Li-Guo Wang",
  title = 	 "Formal derivation of a class of computers",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-119-95",
  note =	 "also published as ECS-LFCS-95-329"
}

@TechReport{cst-120-95,
  author = 	 "John R. Longley",
  title = 	 "Realizability toposes and language semantics",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-120-95",
  note =	 "also published as ECS-LFCS-95-332"
}

@TechReport{cst-121-95,
  author = 	 "Makoto Takeyama",
  title = 	 "Universal structure and a categorical framework for
		  type theory",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-121-95",
  note =	 "also published as ECS-LFCS-95-336"
}

@TechReport{cst-122-95,
  author = 	 "Neil Ghani",
  title = 	 "Adjoint rewriting",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-122-95",
  note =	 "also published as ECS-LFCS-95-339"
}

@TechReport{cst-123-95,
  author = 	 "Thomas Kelly",
  title = 	 "Optimizing hardware granularity in parallel systems",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-123-95"
}

@TechReport{cst-124-95,
  author = 	 "Tim J. Harris",
  title = 	 "Shared memory with hidden latency on a family of
		  mesh-like networks",
  institution =  "University of Edinburgh, Department of Computer Science",
  year = 	 1995,
  number =	 "CST-124-95"
}