@TechReport{ecs-lfcs-86-5,
  author = 	 "R.D. Tennent",
  title = 	 "Semantic analysis of specification logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1986,
  number =	 "ECS-LFCS-86-5",
  note =	 "CSR-211-86"
}

@TechReport{ecs-lfcs-86-9,
  author = 	 "R.M. Burstall and David Rydeheard",
  title = 	 "Computing with categories",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1986,
  number =	 "ECS-LFCS-86-9",
  note =	 "CSR-215-86"
}

@TechReport{ecs-lfcs-86-11,
  author = 	 "Robert Harper",
  title = 	 "Modules and persistence in standard ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1986,
  number =	 "EcS-LFCS-86-11",
  note =	 "CSR-217-86"
}

@TechReport{ecs-lfcs-86-12,
  author = 	 "R.M. Burstall",
  title = 	 "Research in interactive theorem proving at Edinburgh
		  University",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1986,
  number =	 "ECS-LFCS-86-12",
  note =	 "CSR-218-86"
}

@TechReport{ecs-lfcs-86-15,
  author = 	 "Donald Sannella",
  title = 	 "Formal specification of ML programs",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1986,
  number =	 "ECS-LFCS-86-15",
  note =	 "CSR-221-86"
}

@TechReport{ecs-lfcs-86-16,
  author = 	 "Donald Sannella and Andrzej Tarlecki",
  title = 	 "Extended ML : an institution-independent framework
		  for formal program development",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1986,
  number =	 "ECS-LFCS-86-16",
  note =	 "CSR-222-86"
}

@TechReport{ecs-lfcs-86-17,
  author = 	 "Donald Sannella and Andrzej Tarlecki",
  title = 	 "Toward formal development of programs from
		  algebraic specifications : implementations revisited",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1986,
  number =	 "ECS-LFCS-86-17",
  note =	 "also published as CSR-223-86"
}

@TechReport{ecs-lfcs-87-22,
  author = 	 "David Walker",
  title = 	 "Introduction to a calculus of communicating systems",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-22",
  note =	 "also published as CSR-227-87"
}

@TechReport{ecs-lfcs-87-23,
  author = 	 "Robert Harper, Furio Honsell, Gordon Plotkin",
  title = 	 "A framework for defining logics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-23",
  note =	 "also published as CSR-228-87"
}

@TechReport{ecs-lfcs-87-24,
  author = 	 "Colin Stirling",
  title = 	 "Comparing linear and branching time temporal logics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-24",
  note =	 "also published as CSR-229-87"
}

@TechReport{ecs-lfcs-87-25,
  author = 	 "Rod Burstall",
  title = 	 "Inductively defined functions in functional
		  programming languages",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-25",
  note =	 "also published as CSR-230-87"
}

@TechReport{ecs-lfcs-87-27,
  author = 	 "Arnon Avron",
  title = 	 "The semantics and proof theory of linear logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-27",
  note =	 "also published as CSR-232-87"
}

@TechReport{ecs-lfcs-87-28,
  author = 	 "Robert Harper, Robin Milner and Mads Tofte",
  title = 	 "A type discipline for program modules",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-28",
  note =	 "also published as CSR-233-87"
}

@TechReport{ecs-lfcs-87-31,
  author = 	 "Arnon Avron, Furio A. Honsell and Ian A. Mason",
  title = 	 "Using typed lambda calculus to implement formal
		  systems on a machine",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-31",
  note =	 "also published as CSR-237-87"
}

@TechReport{ecs-lfcs-87-32,
  author = 	 "Ian A. Mason",
  title = 	 "Hoare's logic in the LF",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-32",
  note =	 "also published as CSR-238-87"
}

@TechReport{ecs-lfcs-87-33,
  author = 	 "Robin Milner",
  title = 	 "Changes to the standard ML Core Language",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-33",
  note =	 "also published as CSR-240-87"
}

@TechReport{ecs-lfcs-87-41,
  author = 	 "Don Sannella",
  title = 	 "Fifth workshop on specification of abstract data
		  types",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-41",
  note =	 "also published as CSR-249-87"
}

@TechReport{ecs-lfcs-87-42,
  author = 	 "John C. Mitchell and Robert Harper",
  title = 	 "The essence of ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1987,
  number =	 "ECS-LFCS-87-42",
  note =	 "also published as CSR-250-87"
}

@TechReport{ecs-lfcs-88-44,
  author = 	 "Tatsuya Hagino",
  title = 	 "A typed lambda calculus with categorical type
		  constructors",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-44",
  note =	 "also published as CSR-256-88"
}

@TechReport{ecs-lfcs-88-46,
  author = 	 "Robin Milner",
  title = 	 "Operational and algebraic semantics of concurrent
		  processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-46",
  note =	 "also published as CSR-258-88"
}

@TechReport{ecs-lfcs-88-47,
  author = 	 "Marco Forti & Furio Honsell",
  title = 	 "Models of self-descriptive set theories",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-47",
  note =	 "also published as CSR-259-88"
}

@TechReport{ecs-lfcs-88-48,
  author = 	 "Arnon Avron",
  title = 	 "Foundations and proof theory of 3-valued logics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-48",
  note =	 "also published as CSR-260-88"
}

@TechReport{ecs-lfcs-88-49,
  author = 	 "Christopher M N Tofts",
  title = 	 "Temporal ordering for concurrency",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-49",
  note =	 "also published as CSR-261-88"
}

@TechReport{ecs-lfcs-88-50,
  author = 	 "Andrew D Gordon",
  title = 	 "How to breed hybrid compiler/interpreters",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-50",
  note =	 "also published as CSR-262-88"
}

@TechReport{ecs-lfcs-88-52,
  author = 	 "Robert Harper, Furio Honsell, Gordon Plotkin",
  title = 	 "A framework for defining logics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-52",
  note =	 "also published as CSR-264-88",
  annote =	 "Workshop on general logic Edinburgh, February 1987 /
		  editors, A. Avron, R. Harper, F. Honsell, I. Mason,
		  G. Plotkin"
}

@TechReport{ecs-lfcs-88-53,
  author = 	 "J C Reynolds & G D Plotkin",
  title = 	 "On functors expressible in the polymorphic typed
		  lambda calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-53",
  note =	 "also published as CSR-265-88"
}

@TechReport{ecs-lfcs-88-55,
  author = 	 "A. Appel, D. MacQueen, R. Milner, M. Tofte",
  title = 	 "Unifying exceptions with constructors in standard ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-55",
  note =	 "also published as CSR-266-88"
}

@TechReport{ecs-lfcs-88-56,
  author = 	 "Donald Sannella",
  title = 	 "A survey of formal software development methods",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-56",
  note =	 "also published as CSR-268-88"
}

@TechReport{ecs-lfcs-88-57,
  author = 	 "Zhaohui Luo",
  title = 	 "A higher-order calculus and theory abstraction",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-57",
  note =	 "also published as CSR-269-88"
}

@TechReport{ecs-lfcs-88-58,
  author = 	 "Zhaohui Luo",
  title = 	 "CC{_{§ã}^{¡ç}} and its meta theory",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  key =		 "CC¡ç§ã and its meta theory",
  number =	 "ECS-LFCS-88-58",
  note =	 "also published as CSR-270-88"
}

@TechReport{ecs-lfcs-88-59,
  author = 	 "Robert Harper",
  title = 	 "Constructing type systems over an operational
		  semantics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-59",
  note =	 "also published as CSR-271-88"
}

@TechReport{ecs-lfcs-88-60,
  author = 	 "A. Tarlecki, R.M. Burstall and J.A. Goguen",
  title = 	 "Some fundamental algebraic tools for the semantics
		  of computation Part 3 : Indexed categories",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-60",
  note =	 "also published as CSR-272-88"
}

@TechReport{ecs-lfcs-88-61,
  author = 	 "Brian Ritchie and Paul Taylor",
  title = 	 "The interactive proof editor /  An experiment in
		  interactive theorem",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-61",
  note =	 "also published as CSR-273-88"
}

@TechReport{ecs-lfcs-88-62,
  author = 	 "Robert Harper, Robin Milner, Mads Tofte",
  title = 	 "The definition of standard ML version 2",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-62",
  note =	 "also published as CSR-274-88"
}

@TechReport{ecs-lfcs-88-64,
  author = 	 "Con Bradley, David Rydeheard, Martin Seysen and
		  Glynn Winskel (1977/88)",
  title = 	 "Edinburgh University postgraduate examination
		  questions in computation theory 1978-1988",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  key =		 "Luca Cardelli, Luis Damas, Mark Jerrum (1978/79)
                  Gordon Brebner, Li Wei, Brian Monahan, Kevin
		  Mitchell (1979/80), Rocco De Nicola, Peter Dybjer,
		  Mark Millington, Carl Sturtivant (1980/81), Flemming
		  Nielson, Barbara Paech, Hanne Riis Nielson, Oliver
		  Schoett (1981/82), Ilaria Castellani, Andreas Goerdt,
		  K.V.S. Prasad, Brian Ritchie, Allen Stoughton
		  (1982/83), Tatsuya Hagino, Kim Larsen, Alistair
		  Sinclair (1983/84), Marek Bednarczyk, David Berry,
		  Martin Illsley (1984/85) Simon Brown, Mads Dam, Claire
		  Jones (1985/86), Jordi Farr{\'{e}}s-Casals, James
		  Harland, Pawel P{\c{a}}czkowski (1986/87), Jamie
		  Andrews, Jo Blishen, Julian Bradfield (1987/88)",
  number =	 "ECS-LFCS-88-64",
  note =	 "also published as CSR-276-88"
}

@TechReport{ecs-lfcs-88-65,
  author = 	 "Robin Milner and Mads Tofte",
  title = 	 "Co-induction in relational semantics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-65",
  note =	 "also published as CSR-278-88"
}

@TechReport{ecs-lfcs-88-66,
  author = 	 "Eugenio Moggi",
  title = 	 "Computational Lambda-calculus and monads",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-66",
  note =	 "also published as CSR-279-88"
}

@TechReport{ecs-lfcs-88-67,
  author = 	 "Robert Harper",
  title = 	 "An equational formulation of LF",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-67",
  note =	 "also published as CSR-280-88"
}

@TechReport{ecs-lfcs-88-69,
  author = 	 "Rod Burstall and Furio Honsell",
  title = 	 "A natural deduction treatment of operational
		  semantics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-69",
  note =	 "also published as CSR-282-88"
}

@TechReport{ecs-lfcs-88-70,
  author = 	 "Paul Taylor",
  title = 	 "Using constructions as a metalanguage",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1988,
  number =	 "ECS-LFCS-88-70",
  note =	 "also published as CSR-285-88"
}

@TechReport{ecs-lfcs-89-71,
  author = 	 "Donald Sannella and Andrzej Tarlecki",
  title = 	 "Toward formal development of ML programs :
		  foundations and methodology  - Preliminary version -",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-71",
  note =	 "also published as CSR-289-89"
}

@TechReport{ecs-lfcs-89-72,
  author = 	 "Jordi Farres-Casals",
  title = 	 "Proving correctness of constructor implementations",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-72",
  note =	 "also published as CSR-286-89"
}

@TechReport{ecs-lfcs-89-73,
  author = 	 "Mads Tofte",
  title = 	 "Four lectures on standard ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-73",
  note =	 "also published as CSR-290-89"
}

@TechReport{ecs-lfcs-89-75,
  author = 	 "Robert Harper, Donald Sannella, Andrzej Tarlecki",
  title = 	 "Structure and representation in LF",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-75",
  note =	 "also published as CSR-292-89"
}

@TechReport{ecs-lfcs-89-76,
  author = 	 "Bernhard Steffen",
  title = 	 "Characteristic formulae for CCS with divergence",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-76",
  note =	 "also published as CSR-294-89"
}

@TechReport{ecs-lfcs-89-77,
  author = 	 "James H. Andrews",
  title = 	 "Proof-theoretic characterisations of logic
		  programming",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-77",
  note =	 "also published as CSR-295-89"
}

@TechReport{ecs-lfcs-89-78,
  author = 	 "Colin Stirling and David Walker",
  title = 	 "Local model checking in the modal mu-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-78",
  note =	 "also published as CSR-296-89"
}

@TechReport{ecs-lfcs-89-79,
  author = 	 "Bernhard Steffen, Jens Knoop",
  title = 	 "Finite constants: Characterizations of a new
		  decidable set of constants",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-79",
  note =	 "also published as CSR-297-89"
}

@TechReport{ecs-lfcs-89-80,
  author = 	 "Mark Tarver",
  title = 	 "DIALOG : A theorem-proving environment designed to
		  unify functional and logic programming",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-80",
  note =	 "also published as CSR-298-89"
}

@TechReport{ecs-lfcs-89-81,
  author = 	 "Robert Harper, Robin Milner, Mads Tofte",
  title = 	 "The definition of standard ML Version 3",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-81",
  note =	 "also publishe as CSR-299-89"
}

@TechReport{ecs-lfcs-89-82,
  author = 	 "Bernhard Steffen",
  title = 	 "Optimal data flow analysis via observational
		  equivalence",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-82",
  note =	 "also published as CSR-300-89"
}

@TechReport{ecs-lfcs-89-83,
  author = 	 "Rance Cleaveland, Joachim Parrow, Bernhard Steffen",
  title = 	 "The concurrency workbench: a semantics based tool
		  for the verification of concurrent system",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-83",
  note =	 "also published as CSR-301-89"
}

@TechReport{ecs-lfcs-89-85,
  author = 	 "Robin Milner, Joachim Parrow, David Walker",
  title = 	 "A calculus of mobile processes, Part I",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-85",
  note =	 "also published as CSR-302-89"
}

@TechReport{ecs-lfcs-89-86,
  author = 	 "Robin Milner, Joachim Parrow, David Walker",
  title = 	 "A calculus of mobile processes, Part II",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-86",
  note =	 "also published as CSR-303-89"
}

@TechReport{ecs-lfcs-89-87,
  author = 	 "Carolyn Brown",
  title = 	 "Relating Petri nets to formulae of linear logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-87",
  note =	 "also published as CSR-304-89"
}

@TechReport{ecs-lfcs-89-88,
  author = 	 "Christian-Emil Ore",
  title = 	 "On natural deduction style semantics, environments
		  and stores",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-88",
  note =	 "also published as CSR-305-89"
}

@TechReport{ecs-lfcs-89-89,
  author = 	 "Paul Taylor",
  title = 	 "Playing with Lego : Some examples of developing
		  mathematics in the calculus of constructions",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-89",
  note =	 "also published as CSR-306-89"
}

@TechReport{ecs-lfcs-89-90,
  author = 	 "R.M. Burstall, Joseph A. Goguen, A. Tarlecki",
  title = 	 "Some fundamental algebraic tools for the semantics
		  of computation Part 3 : Indexed categories",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-90",
  note =	 "also published as CSR-307-89"
}

@TechReport{ecs-lfcs-89-91,
  author = 	 "D.J. Walker",
  title = 	 "Automated analysis of mutual exclusion algorithms
		  using CCS",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-91",
  note =	 "also published as CSR-308-89"
}

@TechReport{ecs-lfcs-89-92,
  author = 	 "C.Barry Jay",
  title = 	 "The structure of free closed categories",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-92",
  note =	 "also published as CSR-310-89"
}

@TechReport{ecs-lfcs-89-93,
  author = 	 "Sun, Yong",
  title = 	 "Equations, dependent equations and quasi-dependent
		  equations - on their unification",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-93",
  note =	 "also published as CSR-311-89"
}

@TechReport{ecs-lfcs-89-94,
  author = 	 "Sun, Yong",
  title = 	 "Equational characterization of binding (extended
		  abstract)",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-94",
  note =	 "also published as CSR-312-89"
}

@TechReport{ecs-lfcs-89-95,
  author = 	 "Sun, Yong",
  title = 	 "Logical design of VLSI circuit with extension of
		  uncertainty (or monotonic functional completeness of
		  kleene ternary logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-95",
  note =	 "also published as CSR-313-89"
}

@TechReport{ecs-lfcs-89-96,
  author = 	 "Carolyn Brown",
  title = 	 "Petri nets as quantales",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-96",
  note =	 "also published as CSR-314-89"
}

@TechReport{ecs-lfcs-89-97,
  author = 	 "Faron Moller",
  title = 	 "The nonexistence of finite axiomatisations for CCS
		  congruences",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-97",
  note =	 "also published as CSR-315-89"
}

@TechReport{ecs-lfcs-89-98,
  author = 	 "Sun, Yong",
  title = 	 "Self-independent Petri Nets (or a dead-lock-free
		  paradigm)",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-98",
  note =	 "also published as CSR-316-89"
}

@TechReport{ecs-lfcs-89-99,
  author = 	 "Bernhard Steffen, C. Barry Jay, Michael Mendler",
  title = 	 "Compositional characterization of observable program
		  properties",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-99",
  note =	 "also published as CSR-317-89"
}

@TechReport{ecs-lfcs-89-100,
  author = 	 "Pawel P{\c{a}}czkowski",
  title = 	 "Proving total correctness of concurrent programs
		  without using auxiliary variables",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  key =		 "Pawel Paczkowski",
  number =	 "ECS-LFCS-89-100",
  note =	 "also published as CSR-318-89"
}

@TechReport{ecs-lfcs-89-101,
  author = 	 "Donald Sannella, Fabio da Silva",
  title = 	 "Syntax. typechecking and dynamic semantics for
		  extended ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-101",
  note =	 "also published as CSR-320-89"
}

@TechReport{ecs-lfcs-89-102,
  author = 	 "Donald Sannella",
  title = 	 "Formal program development in extended ML for the
		  working programmer",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-102",
  note =	 "also published as CSR-321-89"
}

@TechReport{ecs-lfcs-89-103,
  author = 	 "Chris Tofts",
  title = 	 "Timing concurrent processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-103",
  note =	 "also published as CSR-322-89"
}

@TechReport{ecs-lfcs-89-104,
  author = 	 "Faron Moller, Chris Tofts",
  title = 	 "A temporal calculus of communicating systems",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1989,
  number =	 "ECS-LFCS-89-104",
  note =	 "also published as CSR-323-89"
}

@TechReport{ecs-lfcs-90-106,
  author = 	 "Joseph A. Goguen, Rod Burstall",
  title = 	 "Institutions: abstract model theory for
		  specification and programming ",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-106"
}

@TechReport{ecs-lfcs-90-107,
  author = 	 "C. Barry Jay",
  title = 	 "Extending properties to categories of partial maps",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-107"
}

@TechReport{ecs-lfcs-90-108,
  author = 	 "Chris Tofts",
  title = 	 "Relative frequency in a synchronous calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-108"
}

@TechReport{ecs-lfcs-90-109,
  author = 	 "Matthew J. Morley",
  title = 	 "Tactics for state space reduction on the concurrency
		  workbench",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-109"
}

@TechReport{ecs-lfcs-90-110,
  author = 	 "James H. Andrews",
  title = 	 "The logical structure of sequential prolog",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-110"
}

@TechReport{ecs-lfcs-90-111,
  author = 	 "David Pym and Lincoln Wallen",
  title = 	 "Investigations into proof-search in a system of
		  first-order dependent function types",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-111"
}

@TechReport{ecs-lfcs-90-112,
  author = 	 "Robert Harper, John C. Mitchell and Eugenio Moggi",
  title = 	 "Higher-order modules and the phase distinction",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-112"
}

@TechReport{ecs-lfcs-90-113,
  author = 	 "Eugenio Moggi",
  title = 	 "An abstract view of programming languages",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-113"
}

@TechReport{ecs-lfcs-90-114,
  author = 	 "Christian Lengauer and Jingling Xue",
  title = 	 "A systolic array for pyramidal algorithms",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-114"
}

@TechReport{ecs-lfcs-90-115,
  author = 	 "Julian Bradfield and Colin Stirling",
  title = 	 "Local model checking for infinite state spaces",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-115"
}

@TechReport{ecs-lfcs-90-116,
  author = 	 "Jingling Xue and Christian Lengauer",
  title = 	 "On the description and development of
		  one-dimensional systolic arrays",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-116"
}

@TechReport{ecs-lfcs-90-117,
  author = 	 "Jordi Farr{\'{e}}s-Casals",
  title = 	 "Proving correctness w.r.t. specifications with
		  hidden parts",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  key =		 "Jordi Farres-Casals",
  number =	 "ECS-LFCS-90-117"
}

@TechReport{ecs-lfcs-90-121,
  author = 	 "Zhaohui Luo",
  title = 	 "A problem of adequacy: conservativity of calculus of
		  constructions over higher-order logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-121"
}

@TechReport{ecs-lfcs-90-122,
  author = 	 "David Walker",
  title = 	 "{$\pi$}-calculus semantics of object-oriented
		  programming languages",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  key =		 "pi-calculus semantics of object-oriented programming
		  languages",
  number =	 "ECS-LFCS-90-122"
}

@TechReport{ecs-lfcs-90-123,
  author = 	 "Mads Dam",
  title = 	 "Translating CTL into the modal {$\mu$}-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  key =		 "Translating CTL into the modal mu-calculus",
  number =	 "ECS-LFCS-90-123"
}

@TechReport{ecs-lfcs-90-124,
  author = 	 "James Harland and David Pym",
  title = 	 "The uniform proof-theoretic foundation of linear
		  logic programming",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-124"
}

@TechReport{ecs-lfcs-90-126,
  author = 	 "Fabio da Silva",
  title = 	 "Towards a formal framework for evaluation of
		  operational semantics specifications",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-126"
}

@TechReport{ecs-lfcs-90-127,
  author = 	 "Liang Chen, Stuart Anderson, Faron Moller",
  title = 	 "A timed calculus of communicating systems",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-127"
}

@TechReport{ecs-lfcs-90-128,
  author = 	 "Chris Tofts",
  title = 	 "The autosynchronisation of Leptothorax Acervorum
		  (Fabricius) described in WSCCS",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1990,
  number =	 "ECS-LFCS-90-128"
}

@TechReport{ecs-lfcs-91-131,
  author = 	 "Zhaohui Luo",
  title = 	 "Program specification and data refinement
                  in type theory",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-131"
}

@TechReport{ecs-lfcs-91-132,
  author = 	 "Rod Burstall",
  title = 	 "Computer assisted proof for mathematics: an 
                  introduction using the LEGO proof system",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-132"
}

@TechReport{ecs-lfcs-91-133,
  author = 	 "Rod Burstall and James McKinna",
  title = 	 "Deliverables: an approach to program development
                  in the calculus of constructions",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-133"
}

@TechReport{ecs-lfcs-91-134,
  author = 	 "Michael Barnett and Christian Lengauer",
  title = 	 "A systolizing compilation scheme",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-134"
}

@TechReport{ecs-lfcs-91-135,
  author = 	 "Bernd Krieg-Br{\"{u}}ckner, Donald Sannella",
  title = 	 "Structuring specifications in-the-large and 
                  in-the-small: higher-order functions, dependent
                  types and inheritance in SPECTRAL",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =          "Bernd Krieg-Bruckner"
  number =	 "ECS-LFCS-91-135"
}

@TechReport{ecs-lfcs-91-136,
  author = 	 "Robin Milner, Joachim Parrow, David Walker",
  title = 	 "Modal logics for mobile processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-136"
}

@TechReport{ecs-lfcs-91-137,
  author = 	 "Glenn Bruns and Stuart Anderson",
  title = 	 "The formalization and analysis of a communications
                  protocol",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-137"
}

@TechReport{ecs-lfcs-91-138,
  author = 	 "Donald Sannella and Andrzej Tarlecki",
  title = 	 "Extended ML: past, present and future",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-138"
}

@TechReport{ecs-lfcs-91-139,
  author = 	 "Donald Sannella and Andrzej Tarlecki",
  title = 	 "A kernel specification formalism with higher-
                  order parameterisation",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-139"
}

@TechReport{ecs-lfcs-91-143,
  author = 	 "Faron Moller, Chris Tofts",
  title = 	 "Relating processes with respect to speed",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-143"
}

@TechReport{ecs-lfcs-91-144,
  author = 	 "Chris Tofts",
  title = 	 "Task allocation in monomorphic ant species",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-144"
}

@TechReport{ecs-lfcs-91-145,
  author = 	 "Hans H{\"{u}}ttel and Colin Stirling",
  title = 	 "Actions speak louder than words: proving 
                  bisimilarity for context-free processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =		 "Hans Huttel",
  number =	 "ECS-LFCS-91-145"
}

@TechReport{ecs-lfcs-91-146,
  author = 	 "David Pym, Lincoln Wallen",
  title = 	 "Proof search in the {$\lambda\Pi$}-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =		 "Proof search in the lambda Pi-calculus",
  number =	 "ECS-LFCS-91-146"
}

@TechReport{ecs-lfcs-91-148,
  author = 	 "Dave Berry",
  title = 	 "The Edinburgh SML library",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-148"
}

@TechReport{ecs-lfcs-91-151,
  author = 	 "C. Barry Jay",
  title = 	 "Tail recursion via universal invariants",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-151"
}

@TechReport{ecs-lfcs-91-152,
  author = 	 "Jingling Xue and Christian Lengauer",
  title = 	 "The systematic derivation of control signals for
                  systolic arrays",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-152"
}

@TechReport{ecs-lfcs-91-153,
  author = 	 "Davide Sangiorgi, Christian Lengauer",
  title = 	 "An improved systolic array for string correction",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-153"
}

@TechReport{ECS-LFCS-91-154,
  author = 	 "Zhaohui Luo",
  title = 	 "A unifying theory of dependent types I",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-154"
}

@TechReport{ecs-lfcs-91-155,
  author = 	 "K.G.W. Goossens",
  title = 	 "Embedding a CHDDL in a proof system",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-91-155"
}

@TechReport{ecs-lfcs-91-156,
  author = 	 "Jingling Xue, Christian Lengauer",
  title = 	 "The synthesis of control signals for one-dimensional
                  systolic arrays",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-156"
}

@TechReport{ecs-lfcs-91-157,
  author = 	 "Colin Stirling",
  title = 	 "Modal and temporal logics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-157"
}

@TechReport{ecs-lfcs-91-158,
  author = 	 "Joshua S Hodas, Dale Miller",
  title = 	 "Logic programming in a fragment of intuitionistic
                  linear logic: extended abstract",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-158"
}

@TechReport{ecs-lfcs-91-159,
  author = 	 "Dale Miller",
  title = 	 "A logic programming language with lambda-abstraction,
                  function variables, and simple unification",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-159"
}

@TechReport{ecs-lfcs-91-160,
  author = 	 "Dale Miller",
  title = 	 "Unification of simply typed lambda-terms as logic
                  programming",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-160"
}

@TechReport{ecs-lfcs-91-161,
  author = 	 "Gianluigi Bellin",
  title = 	 "Proof nets for multiplicative and additive linear
                  logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-161"
}

@TechReport{ecs-lfcs-91-162,
  author = 	 "Robert Harper, Furio Honsell, Gordon Plotkin",
  title = 	 "A framework for defining logics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-162"
}

@TechReport{ecs-lfcs-91-164,
  author = 	 "Mark Jerrum",
  title = 	 "An analysis of a Monte Carlo algorithm for 
                  estimating the permanent",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-164"
}

@TechReport{ecs-lfcs-91-166,
  author = 	 "E. Fachini, A. Maggiolo-Schettini, D. Sangiorgi",
  title = 	 "Classes of systolic Y-tree automata and a comparison
                  with systolic trellis automata",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-166"
}

@TechReport{ecs-lfcs-91-167,
  author = 	 "Gianluigi Bellin and Jussi Ketonen",
  title = 	 "A decision procedure revisited: notes on direct
                  logic, linear logic and its implementation",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-167"
}

@TechReport{ecs-lfcs-91-168,
  author = 	 "James Harland, David Pym",
  title = 	 "The uniform proof-theoretic foundation of linear 
                  logic programming (extended abstract)",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-168"
}

@TechReport{ecs-lfcs-91-169,
  author = 	 "Jan Friso Groote, Hans H{\"{u}}ttel",
  title = 	 "Undecidable equivalences for basic process algebra",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =		 "Hans Huttel",
  number =	 "ECS-LFCS-91-169"
}

@TechReport{ecs-lfcs-91-173,
  author = 	 "Hans H{\"{u}}ttel",
  title = 	 "Silence is golden: branching bisimilarity is 
                  decidable for context-free processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =		 "Hans Huttel",
  number =	 "ECS-LFCS-91-173"
}

@TechReport{ecs-lfcs-91-174,
  author = 	 "David C. J. Matthews",
  title = 	 "A distributed concurrent implementation of 
                  standard ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-174"
}

@TechReport{ecs-lfcs-91-175,
  author = 	 "Glenn Bruns",
  title = 	 "A language for value-passing CCS",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-175"
}

@TechReport{ecs-lfcs-91-176,
  author = 	 "Christian Lengauer, Jingling Xue",
  title = 	 "Recent developments in systolic design",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-176"
}

@TechReport{ecs-lfcs-91-177,
  author = 	 "Edmund Kazmierczak",
  title = 	 "Modularizing the specification of a small database
                  system in extended ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-177"
}

@TechReport{ecs-lfcs-91-178,
  author = 	 "Alistair Sinclair",
  title = 	 "Improved bounds for mixing rates of Markov chains
                  and multicommodity flow",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-178"
}

@TechReport{ecs-lfcs-91-179,
  author = 	 "Mark Jerrum, Umesh Vazirani",
  title = 	 "A mildly exponential approximation algorithm for
                  the permanent",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-179"
}

@TechReport{ecs-lfcs-91-180,
  author = 	 "Robin Milner",
  title = 	 "The polyadic {$\pi$}-calculus: a tutorial",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =		 "The polyadic pi-calculus: a tutorial",
  number =	 "ECS-LFCS-91-180"
}

@TechReport{ecs-lfcs-91-181,
  author = 	 "C. Barry Jay",
  title = 	 "Coherence in category theory and the 
                  Church-Rosser property",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-181"
}

@TechReport{ecs-lfcs-91-182,
  author = 	 "C. Barry Jay",
  title = 	 "Fixpoint and loop constructions as colimits",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-182"
}

@TechReport{ecs-lfcs-91-183,
  author = 	 "C. Barry Jay",
  title = 	 "Long {$\beta\eta$} normal forms and confluence",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =		 "Long beta eta normal forms and confluence",
  number =	 "ECS-LFCS-91-183"
}

@TechReport{ecs-lfcs-91-184,
  author = 	 "Liang Chen",
  title = 	 "An interleaving model for real-time systems",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-184"
}

@TechReport{ecs-lfcs-91-185,
  author = 	 "Liang Chen",
  title = 	 "Decidability and completeness in real-time processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-185"
}

@TechReport{ecs-lfcs-91-186,
  author = 	 "M.J. Morley",
  title = 	 "Modelling British rail's interlocking logic:
                  geographic data correctness",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-186"
}

@TechReport{ecs-lfcs-91-187,
  author = 	 "C. Barry Jay",
  title = 	 "Modelling reduction in confluent categories",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-187"
}

@TechReport{ecs-lfcs-91-188,
  author = 	 "J. Levy, J. Agust{\'{i}}, F. Esteva, P. Garc{\'{i}}a",
  title = 	 "An ideal model for an extended {$\lambda$}-calculus
                  with refinement",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  key =		 "J. Agusti, P. Garcia",
  number =	 "ECS-LFCS-91-188"
}

@TechReport{ecs-lfcs-91-189,
  author = 	 "Davide Sangiorgi",
  title = 	 "The lazy lambda calculus in a concurrency scenario",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-189"
}

@TechReport{ecs-lfcs-91-190,
  author = 	 "A. J. Power",
  title = 	 "An n-categorical pasting theorem",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1991,
  number =	 "ECS-LFCS-91-190"
}

@TechReport{ecs-lfcs-92-192,
  author = 	 "P. W. O'Hearn, R. D. Tennent",
  title = 	 "Semantics of local variables",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-192"
}

@TechReport{ecs-lfcs-92-193,
  author = 	 "Jan Friso Groote, Faron Moller",
  title = 	 "Verification of parallel systems via decomposition",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-193"
}

@TechReport{ecs-lfcs-92-195,
  author = 	 "M. G. Read, E. A. Kazmierczak",
  title = 	 "Formal program development in modular prolog:
                  a case study",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-195"
}

@TechReport{ecs-lfcs-92-197,
  author = 	 "Michael Barnett, Christian Lengauer",
  title = 	 "Loop parallelization and unimodularity",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-197"
}

@TechReport{ecs-lfcs-92-199,
  author = 	 "J. C. Bradfield",
  title = 	 "A proof assistant for symbolic model-checking",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-199"
}

@TechReport{ecs-lfcs-92-200,
  author = 	 "Benjamin C. Pierce",
  title = 	 "Intersection types and bounded polymorphism",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-200"
}

@TechReport{ecs-lfcs-92-201,
  author = 	 "Lars Eilstrup Rasmussen",
  title = 	 "Approximating the permanent: a simple approach",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-201"
}

@TechReport{ecs-lfcs-92-202,
  author = 	 "Zhaohui Luo",
  title = 	 "A unifying theory of dependent types:
                  the schematic approach",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-202"
}

@TechReport{ecs-lfcs-92-204,
  author = 	 "Donald Sannella, Andrzej Tarlecki",
  title = 	 "Toward formal development of programs from algebraic
                  specifications: model-theoretic foundations",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-204"
}

@TechReport{ecs-lfcs-92-205,
  author = 	 "C. Barry Jay",
  title = 	 "Tail recursion through universal invariants",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-205"
}

@TechReport{ecs-lfcs-92-206,
  author = 	 "Zhaohui Luo and Rod Burstall",
  title = 	 "A set-theoretic setting for structuring theories
                  in proof development",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-206"
}

@TechReport{ecs-lfcs-92-208,
  author = 	 "Wesley Phoa",
  title = 	 "An introduction to fibrations, topos theory, 
                  the effective topos and modest sets",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-208"
}

@TechReport{ecs-lfcs-92-209,
  author = 	 "Healfdene Goguen, Zhaohui Luo",
  title = 	 "Inductive data types: well-ordering types revisited",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-209"
}

@TechReport{ecs-lfcs-92-210,
  author = 	 "Leslie Ann Goldberg",
  title = 	 "Listing graphs that satisfy first order sentences",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-210"
}

@TechReport{ecs-lfcs-92-211,
  author = 	 "Zhaohui Luo and Robert Pollack",
  title = 	 "LEGO proof development system: user's manual",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-211"
}

@TechReport{ecs-lfcs-92-212,
  author = 	 "J.A. Harland, D.J. Pym",
  title = 	 "On resolution in fragments of classical linear 
                  logic (extended abstract)",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-212"
}

@TechReport{ecs-lfcs-92-213,
  author = 	 "Wesley Phoa, Michael Fourman",
  title = 	 "A proposed categorical semantics for Pure ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-213"
}

@TechReport{ecs-lfcs-92-214,
  author = 	 "Wesley Phoa",
  title = 	 "From term models to domains",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-214"
}

@TechReport{ecs-lfcs-92-215,
  author = 	 "Wesley Phoa",
  title = 	 "Building domains from graph models",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-215"
}

@TechReport{ecs-lfcs-92-216,
  author = 	 "Mads Dam",
  title = 	 "Process-algebraic interpretations of positive
                  linear and relevant logics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-216"
}

@TechReport{ecs-lfcs-92-217,
  author = 	 "Mads Dam",
  title = 	 "CTL{$^{*}$} and ECTL{$^{*}$} as fragments of the 
                  modal {$\mu$}-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  key =		 "CTL* and ECTL* as fragments of the modal
                  mu-calculus",
  number =	 "ECS-LFCS-92-217"
}

@TechReport{ecs-lfcs-92-218,
  author = 	 "Soren Christensen, Hans H{\"{u}}ttel, Colin Stirling",
  title = 	 "Bisimulation equivalence is decidable for all
                  context-free processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  key =		 "Hans Huttel",
  number =	 "ECS-LFCS-92-218"
}

@TechReport{ecs-lfcs-92-219,
  author = 	 "Stefan Kahrs",
  title = 	 "Unlimp uniqueness as a leitmotiv for implementation",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-219"
}

@TechReport{ecs-lfcs-92-221,
  author = 	 "Colin Stirling",
  title = 	 "Modal and temporal logics for processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-221"
}

@TechReport{ecs-lfcs-92-222,
  author = 	 "Donald Sannella, Stefan Sokolowski and 
                  Andrzej Tarlecki",
  title = 	 "Toward formal development of programs from algebraic
                  specifications: parameterisation revisited",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-222"
}

@TechReport{ecs-lfcs-92-223,
  author = 	 "P.W. O'Hearn, R. D. Tennent",
  title = 	 "Relational parametricity and local variables
                  (preliminary report)",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-223"
}

@TechReport{ecs-lfcs-92-224,
  author = 	 "Mads Dam",
  title = 	 "Fixpoints of B{\"{u}}chi automata",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  key =		 "Fixpoints of Buchi automata",
  number =	 "ECS-LFCS-92-224"
}

@TechReport{ecs-lfcs-92-225,
  author = 	 "Benjamin C. Pierce, David N. Turner",
  title = 	 "Object-oriented programming without recursive types",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992"",
  number =	 "ECS-LFCS-92-225"
}

@TechReport{ecs-lfcs-92-226,
  author = 	 "M. Hofmann and Benjamin Pierce",
  title = 	 "An abstract view of objects and subtyping
                  (preliminary report)",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-226"
}

@TechReport{ecs-lfcs-92-228,
  author = 	 "Martin Hofmann",
  title = 	 "Formal development of functional programs in 
                  type theory -- a case study",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-228"
}

@TechReport{ecs-lfcs-92-229,
  author = 	 "David J. Pym",
  title = 	 "A unification algorithm for the
                 {$\lambda\Pi$}-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  key =		 "A unification algorithm for the lambdaPi-calculus",
  number =	 "ECS-LFCS-92-229"
}

@TechReport{ecs-lfcs-92-230,
  author = 	 "Thorsten Altenkirch",
  title = 	 "Brewing strong normalization proofs with LEGO",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-230"
}

@TechReport{ecs-lfcs-92-231,
  author = 	 "K. G. W. Goossens",
  title = 	 "Operational semantics based formal symbolic simulation",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-231"
}

@TechReport{ecs-lfcs-92-232,
  author = 	 "G. Bellin, P.J. Scott",
  title = 	 "On the {$\pi$}-calculus and linear logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  key =		 "On the pi-calculus and linear logic",
  number =	 "ECS-LFCS-92-232"
}

@TechReport{ecs-lfcs-92-233,
  author = 	 "Fabio Q. B. da Silva",
  title = 	 "Correctness proofs of compilers and debuggers:
                  an overview of an approach based on structural
                  operational semantics (extended abstract of 
                  Ph.D. thesis)",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-233"
}

@TechReport{ecs-lfcs-92-234,
  author = 	 "Leslie Ann Goldberg and Mark Jerrum",
  title = 	 "A sub-logarithmic communication algorithm for the 
                  completely connected optical communication 
                  parallel computer",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-234"
}

@TechReport{ecs-lfcs-92-235,
  author = 	 "Nick Rothwell",
  title = 	 "Functional compilation from the standard ML core
		  language to lambda calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-235"
}

@TechReport{ecs-lfcs-92-236,
  author = 	 "Nick Rothwell",
  title = 	 "Parsing in the SML Kit",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-236"
}

@TechReport{ecs-lfcs-92-237,
  author = 	 "Nick Rothwell",
  title = 	 "Miscellaneous design issues in the ML Kit",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-237"
}

@TechReport{ecs-lfcs-92-238,
  author = 	 "Stefan Kahrs",
  title = 	 "Polymorphic type checking by interpretation of code",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-238"
}

@TechReport{ecs-lfcs-92-239,
  author = 	 "Glenn Bruns",
  title = 	 "A case study in safety-critical design",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-239"
}

@TechReport{ecs-lfcs-92-240,
  author = 	 "Fabio Q. B. da Silva",
  title = 	 "Observational equivalence and compiler correctness",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-240"
}

@TechReport{ecs-lfcs-92-242,
  author = 	 "Rod Burstall and James McKinna",
  title = 	 "Deliverables: a categorical approach to program
		  development in type theory",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-242"
}

@TechReport{ecs-lfcs-92-243,
  author = 	 "C. Barry Jay and Neil Ghani",
  title = 	 "The virtues of eta-expansion",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-243"
}

@TechReport{ecs-lfcs-92-244,
  author = 	 "S. Christensen, Y. Hirshfeld and F. Moller",
  title = 	 "Decomposability, decidability and axiomatisability
		  for bisimulation equivalence on basic 
                  parallel processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-244"
}

@TechReport{ecs-lfcs-92-245,
  author = 	 "Gordon Plotkin",
  title = 	 "A semantics for static type inference",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-245"
}

@TechReport{ecs-lfcs-92-246,
  author = 	 "David J. Pym and Lincoln A. Wallen",
  title = 	 "Logic programming via proof-valued computations",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-246"
}

@TechReport{ecs-lfcs-92-248,
  author = 	 "James Harland and David Pym",
  title = 	 "A synopsis on the identification of linear logic
		  programming languages",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-248"
}

@TechReport{ecs-lfcs-92-249,
  author = 	 "Robin Milner",
  title = 	 "Action structures",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-249"
}

@TechReport{ecs-lfcs-92-251,
  author = 	 "Philippa Gardner",
  title = 	 "Equivalences between logics and their representing
		  type theories",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  number =	 "ECS-LFCS-92-251"
}

@TechReport{ecs-lfcs-92-253,
  author = 	 "Rod Burstall and R{\u{a}}zvan Diaconescu",
  title = 	 "Hiding and behaviour: an institutional approach",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1992,
  key =          "Razvan Diaconescu", 
  number =	 "ECS-LFCS-92-253"
}

@TechReport{ecs-lfcs-93-254,
  author = 	 "R. Gordon, A. J. Power",
  title = 	 "Enrichment through variation",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-254"
}

@TechReport{ecs-lfcs-93-256,
  author = 	 "Benjamin C. Pierce, David N. Turner",
  title = 	 "Statically typed friendly functions via partially
		  abstract types",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-256"
}

@TechReport{ecs-lfcs-93-257,
  author = 	 "Stefan Kahrs",
  title = 	 "Mistakes and ambiguities in the definition of
		  standard ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-257"
}

@TechReport{ecs-lfcs-93-259,
  author = 	 "Martin Dyer, Alan Frieze, Mark Jerrum",
  title = 	 "Approximately counting Hamilton cycles in dense graphs",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-259"
}

@TechReport{ecs-lfcs-93-260,
  author = 	 "Mark Jerrum, Gregory Sorkin",
  title = 	 "Simulated annealing for graph bisection",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-260"
}

@TechReport{ecs-lfcs-93-261,
  author = 	 "Petr Jan{\u{c}}ar",
  title = 	 "Decidability questions for bisimilarity of Petri
		  nets and some related problems",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  key =          "Petr Jancar", 
  number =	 "ECS-LFCS-93-261"
}

@TechReport{ecs-lfcs-93-262,
  author = 	 "Joachim Parrow and Davide Sangiorgi",
  title = 	 "Algebraic theories for name-passing calculi",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-262"
}

@TechReport{ecs-lfcs-93-263,
  author = 	 "Angus Duggan",
  title = 	 "Literate programming: a review",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-263"
}

@TechReport{ecs-lfcs-93-264,
  author = 	 "Robin Milner",
  title = 	 "Action structures for the ¦Ð-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-264"
}

@TechReport{ecs-lfcs-93-265,
  author = 	 "David J. Pym",
  title = 	 "Errata and remarks",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-265"
}

@TechReport{ecs-lfcs-93-267,
  author = 	 "R.D. Tennent",
  title = 	 "Correctness of data representations in Algol-like
		  languages",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-267"
}

@TechReport{ecs-lfcs-93-269,
  author = 	 "K. G. W. Goossens",
  title = 	 "The formalisation of a hardware description language
		  in a proof system: motivation and applications",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-269"
}

@TechReport{ecs-lfcs-93-270,
  author = 	 "Davide Sangiorgi",
  title = 	 "A theory of bisimulation for the ¦Ð-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-270"
}

@TechReport{ecs-lfcs-93-272,
  author = 	 "Mark Jerrum",
  title = 	 "Uniform sampling modulo a group of symmetries using
		  Markov chain simulation",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-272"
}

@TechReport{ecs-lfcs-93-273,
  author = 	 "K. G. W. Goossens",
  title = 	 "Structure and behaviour in hardware verification",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-273"
}

@TechReport{ecs-lfcs-93-274,
  author = 	 "Javier Esparza",
  title = 	 "On the decidability of model checking for several 
                  ¦Ì-calculi and Petri nets",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-274"
}

@TechReport{ecs-lfcs-93-275,
  author = 	 "Adriana B. Compagnoni, Benjamin C. Pierce",
  title = 	 "Multiple inheritance via intersection types",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  number =	 "ECS-LFCS-93-275"
}

@TechReport{ecs-lfcs-93-276,
  author = 	 "Hans H{\"{u}}ttel",
  title = 	 "Undecidable equivalences for basic parallel
		  processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1993,
  key =          "Hans Huttel",
  number =	 "ECS-LFCS-93-276"
}

@TechReport{ecs-lfcs-94-280,
  author = 	 "Martin Steffen, Benjamin Pierce",
  title = 	 "Higher-order subtyping",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-280"
}

@TechReport{ecs-lfcs-94-281,
  author = 	 "Adriana B. Compagnoni",
  title = 	 "Subtyping in {F^{¦Ø}_{¦«}} is decidable",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  key =		 "Subtyping in F is decidable",
  number =	 "ECS-LFCS-94-281"
}

@TechReport{ecs-lfcs-94-282,
  author = 	 "Davide Sangiorgi",
  title = 	 "Locality and non-interleaving semantics in calculi
		  for mobile processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-282"
}

@TechReport{ecs-lfcs-94-283,
  author = 	 "Stefan Kahrs, Donald Sannella, Andrzej Tarlecki",
  title = 	 "Interfaces and extended ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-283"
}

@TechReport{ecs-lfcs-94-284,
  author = 	 "Stefan Kahrs",
  title = 	 "First-class polymorphisms for ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-284"
}

@TechReport{ecs-lfcs-94-285,
  author = 	 "Bj{\"{o}}rn Victor, Faron Moller",
  title = 	 "The mobility workbench a tool for the ¦Ð-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  key =          "Bjorn Victor",
  number =	 "ECS-LFCS-94-285"
}

@TechReport{ecs-lfcs-94-286,
  author = 	 "Yoram Hirshfeld, Mark Jerrum, Faron Moller",
  title = 	 "A polynomial algorithm for deciding bisimilarity of
		  normed context-free processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-286"
}

@TechReport{ecs-lfcs-94-287,
  author = 	 "Glenn Bruns",
  title = 	 "Applying process refinement to a safety-relevant
		  system",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-287"
}

@TechReport{ecs-lfcs-94-288,
  author = 	 "Yoram Hirshfeld, Mark Jerrum, Faron Moller",
  title = 	 "A polynomial-time algorithm for deciding
		  bisimulation equivalence of normed basic parallel
		  processes",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-288"
}

@TechReport{ecs-lfcs-94-289,
  author = 	 "A.J. Power",
  title = 	 "Why tricategories?",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-289"
}

@TechReport{ecs-lfcs-94-290,
  author = 	 "Mark Jerrum",
  title = 	 "A very simple algorithm for estimating the number of
		  ¦Ê-colourings of a low-degree graph",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  key =		 "A very simple algorithm for estimating the number of
		  k-colourings of a low-degree graph",
  number =	 "ECS-LFCS-94-290"
}

@TechReport{ecs-lfcs-94-291,
  author = 	 "Yoram Hirshfeld",
  title = 	 "Congruences in commutative semigroups",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-291"
}

@TechReport{ecs-lfcs-94-292,
  author = 	 "Alan Frieze and Mark Jerrum",
  title = 	 "Improved approximation algorithms for MAX ¦Ê-CUT and
		  MAX BISECTION",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  key =          "Improved approximation algorithms for MAX k-CUT and
		  MAX BISECTION",
  number =	 "ECS-LFCS-94-292"
}

@TechReport{ecs-lfcs-94-293,
  author = 	 "Roope Kaivola",
  title = 	 "On modal mu-calculus and B{\"{u}}chi tree automata",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  key =          "On modal mu-calculus and Buchi tree automata",
  number =	 "ECS-LFCS-94-293"
}

@TechReport{ecs-lfcs-94-294,
  author = 	 "Yoram Hirshfeld",
  title = 	 "Deciding equivalences in simple process algebras",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-294"
}

@TechReport{ecs-lfcs-94-295,
  author = 	 "Javier Esparza and Glenn Bruns",
  title = 	 "Trapping mutual exclusion in the box calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-295"
}

@TechReport{ecs-lfcs-94-296,
  author = 	 "Mark Jerrum",
  title = 	 "The computational complexity of counting",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-296"
}

@TechReport{ecs-lfcs-94-297,
  author = 	 "Michele Boreale and Davide Sangiorgi",
  title = 	 "A fully abstract semantics for causality in the ¦Ð-
		  calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-297"
}

@TechReport{ecs-lfcs-94-298,
  author = 	 "Petr Jan{\^{c}}ar",
  title = 	 "High undecidability of weak bisimilarity for petri
		  nets",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  key =          "Petr Jancar",
  number =	 "ECS-LFCS-94-298"
}

@TechReport{ecs-lfcs-94-299,
  author = 	 "Davide Sangiorgi",
  title = 	 "On the bisimulation proof method",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-299"
}

@TechReport{ecs-lfcs-94-300,
  author = 	 "Stefan Kahrs, Donald Sannella and Andrzej Tarlecki",
  title = 	 "The definition of extended ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-300"
}

@TechReport{ecs-lfcs-94-301,
  author = 	 "Paul Pritchard",
  title = 	 "An old sub-quadratic algorithm for finding extremal
		  sets",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-301"
}

@TechReport{ecs-lfcs-94-302,
  author = 	 "Javier Esparza",
  title = 	 "Decidability of model checking for infinite-state
		  concurrent systems",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-302"
}

@TechReport{ecs-lfcs-94-303,
  author = 	 "Martin Hofmann and Benjamin Pierce",
  title = 	 "Positive subtyping",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-303"
}

@TechReport{ecs-lfcs-94-305,
  author = 	 "Thierry Le Sergent and Bernard Berthomieu",
  title = 	 "Balancing load under large and fast load changes in
		  distributed computing systems --- A case study",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-305"
}

@TechReport{ecs-lfcs-94-306,
  author = 	 "Thierry Le Sergent and David C.J. Matthews",
  title = 	 "Adaptive selection of protocols for strict coherency
		  in distributed shared memory",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-306"
}

@TechReport{ecs-lfcs-94-309,
  author = 	 "Paul Pritchard",
  title = 	 "On computing the subset graph of a collection of
		  sets",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-309"
}

@TechReport{ecs-lfcs-94-310,
  author = 	 "Graham Collins and Stephen Gilmore",
  title = 	 "Supporting formal reasoning about standard ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-310"
}

@TechReport{ecs-lfcs-94-311,
  author = 	 "Kevin Mitchell",
  title = 	 "Concurrency in a natural semantics",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-311"
}

@TechReport{ecs-lfcs-94-312,
  author = 	 "Kevin Mitchell",
  title = 	 "Multiple values in standard ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-312"
}

@TechReport{ecs-lfcs-94-313,
  author = 	 "Alan Frieze, Mark Jerrum, Michael Molloy, Robert
		  Robinson & Nicholas Wormald",
  title = 	 "Generating and counting Hamilton cycles in random
		  regular graphs",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1994,
  number =	 "ECS-LFCS-94-313"
}

@TechReport{ecs-lfcs-95-314,
  author = 	 "Stefan Kahrs",
  title = 	 "Towards a domain theory for termination proofs",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-314"
}

@TechReport{ecs-lfcs-95-315,
  author = 	 "Paul Steckler",
  title = 	 "Correct separate and selective closure conversion",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-315"
}

@TechReport{ecs-lfcs-95-316,
  author = 	 "David C.J. Matthews and Thierry Le Sergent",
  title = 	 "LEMMA interface definition",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-316"
}

@TechReport{ecs-lfcs-95-317,
  author = 	 "Mark Jerrum",
  title = 	 "Computational P{\'{o}}lya theory",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  key =		 "Computational Polya theory",
  number =	 "ECS-LFCS-95-317"
}

@TechReport{ecs-lfcs-95-318,
  author = 	 "Martin Hofmann and Donald Sannella",
  title = 	 "On behavioural abstraction and behavioural
		  satisfaction in higher-order logic",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-318"
}

@TechReport{ecs-lfcs-95-319,
  author = 	 "Michael P. Fourman",
  title = 	 "Proof and design",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-319"
}

@TechReport{ecs-lfcs-95-320,
  author = 	 "Judith Underwood",
  title = 	 "Typing abstract data types",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-320"
}

@TechReport{ecs-lfcs-95-321,
  author = 	 "Judith Underwood",
  title = 	 "Tableau for intuitionistic predicate logic as
		  metatheory",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-321"
}

@TechReport{ecs-lfcs-95-322,
  author = 	 "Stefan Kahrs, Donald Sannella & Andrzej Tarlecki",
  title = 	 "The definition of Extended ML: a gentle
		  introduction",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-322"
}

@TechReport{ecs-lfcs-95-324,
  author = 	 "Roope Kaivola",
  title = 	 "Axiomatising linear time mu-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-324"
}

@TechReport{ecs-lfcs-95-325,
  author = 	 "David C.J. Matthews, Thierry Le Sergent",
  title = 	 "LEMMA : a distributed shared memory with global and
		  local garbage collection",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-325"
}

@TechReport{ecs-lfcs-95-326,
  author = 	 "Vivek Gore, Mark Jerrum",
  title = 	 "A quasi-polynomial-time algorithm for sampling words
		  from a context-free language",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-326"
}

@TechReport{ecs-lfcs-95-330,
  author = 	 "Yoshiki Kinoshita, John Power",
  title = 	 "Lax naturality through enrichment",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-330"
}

@TechReport{ecs-lfcs-95-331,
  author = 	 "Marcelo P. Fiore",
  title = 	 "First steps on the representation of domains",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-331"
}

@TechReport{ecs-lfcs-95-333,
  author = 	 "Li-Guo Wang, Michael Mendler",
  title = 	 "Formal design of a class of computers",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-333"
}

@TechReport{ecs-lfcs-95-334,
  author = 	 "Li-Guo Wang, Michael Mendler",
  title = 	 "Abstraction of hardware construction",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-334"
}

@TechReport{ecs-lfcs-95-335,
  author = 	 "D.C.J. Matthews",
  title = 	 "Papers on Poly/ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-335"
}

@TechReport{ecs-lfcs-95-337,
  author = 	 "Julian Bradfield, Javier Esparza, Angelika Mader",
  title = 	 "An effective tableau system for the linear time mu-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-337"
}

@TechReport{ecs-lfcs-95-338,
  author = 	 "J.C. Bradfield",
  title = 	 "On the expressivity of the modal mu-calculus",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1995,
  number =	 "ECS-LFCS-95-338"
}

@TechReport{ecs-lfcs-96-340,
  author = 	 "Paul Steckler",
  title = 	 "Detecting local channels in distributed Poly/ML",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1996,
  number =	 "ECS-LFCS-96-340"
}

@TechReport{ecs-lfcs-96-341,
  author = 	 "Simon Finn, Michael Fourman, John Longley",
  title = 	 "Partial functions in a total setting",
  institution =  "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of 
                  Edinburgh",
  year = 	 1996,
  number =	 "ECS-LFCS-96-341"
}