@book{alma993835183502466,
author = {Pa̜czkowski, Pawel.},
address = {Edinburgh},
booktitle = {Proving total correctness of concurrent programs without using auxiliary variables},
keywords = {Parallel programming (Computer science)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 89-100},
title = {Proving total correctness of concurrent programs without using auxiliary variables / by Pawel Pa̜czkowski.},
year = {1989},
}

@book{alma993815153502466,
author = {Sun, Yong.},
address = {Edinburgh},
booktitle = {Logical design of VLSI circuit with extension of uncertainty : or monotonic functional completeness of Kleene ternary logic},
keywords = {Integrated circuits -- Very large scale integration},
language = {eng},
publisher = {University of Edinburgh. Department of computer science},
series = {ECS-LFCS- ; 89-95},
title = {Logical design of VLSI circuit with extension of uncertainty : or monotonic functional completeness of Kleene ternary logic / by Sun, Yong.},
year = {1989},
}

@book{alma993581103502466,
author = {Farrés-Casals, Jordi.},
address = {Edinburgh},
booktitle = {Proving correctness of constructor implementations},
keywords = {Programming languages (Electronic computers) -- Semantics},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 89-72},
title = {Proving correctness of constructor implementations / Jordi Farrés-Casals.},
year = {1989},
}

@book{alma993285013502466,
author = {Parrow, Joachim},
address = {Edinburgh},
booktitle = {Synchronisation flow algebra},
keywords = {Algebra -- Data processing},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 87-35},
title = {Synchronisation flow algebra / by Joachim Parrow.},
year = {1987},
}

@book{alma993835193502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Formal program development in extended ML for the working programmer},
keywords = {Computer programs -- Correctness},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 89-102},
title = {Formal program development in extended ML for the working programmer / by Donald Sannella.},
year = {1989},
}

@book{alma993628223502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Toward formal development of ML programs : foundations and methodology ; preliminary version},
keywords = {ML (Computer program language)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 89-71},
title = {Toward formal development of ML programs : foundations and methodology ; preliminary version / by Donald Sannella and Andrzej Tarlecki.},
year = {1989},
}

@book{alma993284943502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Changes to the standard ML core language},
keywords = {ML (Computer program language)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 87-33},
title = {Changes to the standard ML core language / by Robin Milner.},
year = {1987},
}

@book{alma993262563502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Formal specification of ML programs},
keywords = {ML (Computer program language)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-15},
title = {Formal specification of ML programs / by Donald Sannella.},
year = {1986},
}

@book{alma993417073502466,
address = {Edinburgh},
booktitle = {Unifying exceptions with constructors in standard ML},
keywords = {ML (Computer program language)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 88-55},
title = {Unifying exceptions with constructors in standard ML / A. Appel [and others].},
year = {1988},
}

@book{alma994098303502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {Introduction to standard ML},
edition = {Revised edition / Revised by Nick Rothwell.},
language = {eng},
publisher = {University of Edinburgh, Laboratory for Foundations of Computer Science},
series = {ECS-LFCS- ; 86-14},
title = {Introduction to standard ML / by Robert Harper; with exercises by Kevin Mitchell.},
year = {1989},
}

@book{alma993835213502466,
author = {Steffen, Bernhard.},
address = {Edinburgh},
booktitle = {Compositional characterization of observable program properties},
keywords = {Programming languages (Electronic computers) -- Semantics},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 89-99},
title = {Compositional characterization of observable program properties / by Bernhard Steffen, C. Barry Jay, Michael Mendler.},
year = {1989},
}

@book{alma993285023502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {The semantics of standard ML : version 1},
keywords = {Programming languages (Electronic computers) -- Semantics},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 87-36},
title = {The semantics of standard ML : version 1 / by Robert Harper, Robin Milner and Mads Tofte.},
year = {1987},
}

@book{alma999987083502466,
address = {Edinburgh},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 004},
title = {Make in ML.},
year = {1987},
}

@book{alma999987073502466,
address = {Edinburgh},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 003},
title = {Extending ML using daemons.},
year = {1987},
}

@book{alma999987063502466,
address = {Edinburgh},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 002},
title = {Case study I : automatic generation of parsers.},
year = {1987},
}

@book{alma993460293502466,
author = {Milne, George J.},
address = {Edinburgh},
booktitle = {The development of a system for concurrent device verification},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
title = {The development of a system for concurrent device verification / George J. Milne.},
year = {1985},
}

@book{alma992515223502466,
author = {Dewar, Hamish.},
address = {Edinburgh},
booktitle = {ECCE : Edinburgh Compatible Context Editor ; video version},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CSR- ; 175-84},
title = {ECCE : Edinburgh Compatible Context Editor ; video version / by Hamish Dewar.},
year = {1984},
}

@book{alma999991483502466,
author = {MacQueen, David B.},
address = {Edinburgh},
booktitle = {Record primitives in standard ML},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 023},
title = {Record primitives in standard ML / Dave MacQueen.},
year = {1987},
}

@book{alma999987103502466,
author = {Rothwell, Nicholas John.},
address = {Edinburgh},
booktitle = {The ML parser generator},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 005},
title = {The ML parser generator / Nick Rothwell.},
year = {1988},
}

@book{alma999987033502466,
author = {Rothwell, Nicholas John.},
address = {Edinburgh},
booktitle = {Parsing utilities for standard ML : initial draft},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 001},
title = {Parsing utilities for standard ML : initial draft  / by Nick Rothwell.},
year = {1987},
}

@book{alma999991503502466,
author = {MacQueen, David B.},
address = {Edinburgh},
booktitle = {Labeled fields in standard ML},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 024},
title = {Labeled fields in standard ML / David MacQueen.},
year = {1985},
}

@book{alma993536123502466,
author = {Taylor, Paul.},
address = {Edinburgh},
booktitle = {Using constructions as a metalanguage},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-70},
title = {Using constructions as a metalanguage / by Paul Taylor.},
year = {1988},
}

@book{alma99821313502466,
address = {Edinburgh},
booktitle = {IMP reference manual},
edition = {Revised edition.},
keywords = {IMP (Computer Program Language)},
language = {eng},
organization = {University of Edinburgh. Department of Computer Science.},
publisher = {University of Edinburgh, Department of Computer Science},
series = {Edinburgh Multi-Access Project},
title = {IMP reference manual / [compiled by] University of Edinburgh Department of Computer Science and English Electric Computers Limited.},
year = {1968},
}

@book{alma999987733502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Proposed changes to the ML core language},
language = {eng},
publisher = {[University of Edinburgh, Department of Computer Science]},
series = {ML Library ; 022},
title = {Proposed changes to the ML core language / Robin Milner.},
year = {1987},
}

@book{alma993494313502466,
address = {Edinburgh},
keywords = {Computational complexity},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-64},
title = {Edinburgh University postgraduate examination questions in computation theory, 1978-1988.},
year = {1988},
}

@book{alma993968403502466,
author = {Andrews, James H.},
address = {Edinburgh},
booktitle = {The logical structure of sequential Prolog},
keywords = {Prolog (Computer program language)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 90-110},
title = {The logical structure of sequential Prolog / by James H. Andrews.},
year = {1990},
}

@book{alma992351443502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {Modules and persistence in standard ML},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-11},
title = {Modules and persistence in standard ML / by Robert Harper.},
year = {1986},
}

@book{alma993416913502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {Constructing type systems over an operational semantics},
keywords = {Programming languages (Electronic computers) -- Semantics},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-59},
title = {Constructing type systems over an operational semantics / by Robert Harper.},
year = {1988},
}

@book{alma993815133502466,
author = {Sun, Yong.},
address = {Edinburgh},
booktitle = {Self-independent Petri nets : or a dead-lock-free paradigm},
keywords = {Petri nets},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-98},
title = {Self-independent Petri nets : or a dead-lock-free paradigm / by Sun, Yong.},
year = {1989},
}

@book{alma993738663502466,
author = {Walker, D. J.},
address = {Edinburgh},
booktitle = {Automated analysis of mutual exclusion algorithms using CCS},
keywords = {Parallel processing (Electronic computers)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-91},
title = {Automated analysis of mutual exclusion algorithms using CCS / by D.J. Walker.},
year = {1989},
}

@book{alma993286413502466,
author = {Tofts, Chris (Christopher Maurice Neville)},
address = {Edinburgh},
booktitle = {Temporal ordering for concurrency},
keywords = {Parallel processing (Electronic computers)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-49},
title = {Temporal ordering for concurrency / by Christopher M.N. Tofts.},
year = {1988},
}

@book{alma993286393502466,
author = {Avron, Arnon.},
address = {Edinburgh},
booktitle = {Foundations and proof theory of 3-valued logics},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-48},
title = {Foundations and proof theory of 3-valued logics / by Arnon Avron.},
year = {1988},
}

@book{alma993286383502466,
author = {Gordon, Andrew D.},
address = {Edinburgh},
booktitle = {How to breed hybrid compiler/interpreters},
keywords = {Compilers (Computer programs)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-50},
title = {How to breed hybrid compiler/interpreters / by Andrew D. Gordon.},
year = {1988},
}

@book{alma993494443502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {An equational formulation of LF},
keywords = {Automatic theorem proving},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-67},
title = {An equational formulation of LF / Robert Harper.},
year = {1988},
}

@book{alma993494353502466,
author = {Moggi, Eugenio.},
address = {Edinburgh},
booktitle = {Computational lambda-calculus and monads},
keywords = {Triples, Theory of},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-66},
title = {Computational lambda-calculus and monads / Eugenio Moggi.},
year = {1988},
}

@book{alma993692923502466,
author = {Andrews, James H.},
address = {Edinburgh},
booktitle = {Proof-theoretic characterisations of logic programming},
keywords = {Proof theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-77},
title = {Proof-theoretic characterisations of logic programming / by James H. Andrews.},
year = {1989},
}

@book{alma993770313502466,
author = {Sun, Yong.},
address = {Edinburgh},
booktitle = {Equational characterization of binding : (extended abstract)},
keywords = {Lambda calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-94},
title = {Equational characterization of binding : (extended abstract) / by Sun, Yong.},
year = {1989},
}

@book{alma993770283502466,
author = {Sun, Yong.},
address = {Edinburgh},
booktitle = {Equations, dependent equations and quasi-dependent equations : on their unification},
keywords = {Algebra, Universal},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-93},
title = {Equations, dependent equations and quasi-dependent equations : on their unification / by Sun, Yong.},
year = {1989},
}

@book{alma993770273502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {The structure of free closed categories},
keywords = {Categories (Mathematics)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-92},
title = {The structure of free closed categories / by C. Barry Jay.},
year = {1989},
}

@book{alma993842893502466,
author = {Tofts, Chris (Christopher Maurice Neville)},
address = {Edinburgh},
booktitle = {Timing concurrent processes},
keywords = {Formal languages},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-103},
title = {Timing concurrent processes / by Chris Tofts.},
year = {1989},
}

@book{alma993662683502466,
author = {Tarver, Mark.},
address = {Edinburgh},
booktitle = {Dialog : a theorem-proving environment designed to unify functional and logic programming},
keywords = {Logic programming},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-80},
title = {Dialog : a theorem-proving environment designed to unify functional and logic programming / by Mark Tarver.},
year = {1989},
}

@book{alma993662653502466,
author = {Steffen, Bernhard.},
address = {Edinburgh},
booktitle = {Optimal data flow analysis via observational equivalence},
keywords = {Algorithms},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-82},
title = {Optimal data flow analysis via observational equivalence / by Bernhard Steffen.},
year = {1989},
}

@book{alma993662633502466,
author = {Steffen, Bernhard.},
address = {Edinburgh},
booktitle = {Characteristic formulae for CCS with divergence},
keywords = {Modality (Logic)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-76},
title = {Characteristic formulae for CCS with divergence / by Bernhard Steffen.},
year = {1989},
}

@book{alma993741203502466,
author = {Taylor, Paul.},
address = {Edinburgh},
booktitle = {Playing with Lego : some examples of developing mathemetics in the calculus of constructions},
keywords = {Lambda calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-89},
title = {Playing with Lego : some examples of developing mathemetics in the calculus of constructions / by Paul Taylor.},
year = {1989},
}

@book{alma993285103502466,
author = {Walker, David.},
address = {Edinburgh},
booktitle = {Analysing mutual exclusion algorithms using CCS},
keywords = {Parallel processing (Electronic computers)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-45},
title = {Analysing mutual exclusion algorithms using CCS / by David Walker.},
year = {1988},
}

@book{alma993284903502466,
author = {Avron, Arnon.},
address = {Edinburgh},
booktitle = {Simple consequence relations},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-30},
title = {Simple consequence relations / by Arnon Avron.},
year = {1987},
}

@book{alma993284893502466,
author = {Walker, David.},
address = {Edinburgh},
booktitle = {Bisimulation equivalence and divergence in CCS},
keywords = {Machine theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-29},
title = {Bisimulation equivalence and divergence in CCS / by David Walker.},
year = {1987},
}

@book{alma993284933502466,
author = {Mason, Ian A.},
address = {Edinburgh},
booktitle = {Hoare's logic in the LF},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-32},
title = {Hoare's logic in the LF / by Ian A. Mason.},
year = {1987},
}

@book{alma993262723502466,
author = {Avron, Arnon.},
address = {Edinburgh},
booktitle = {The semantics and proof theory of linear logic},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-27},
title = {The semantics and proof theory of linear logic / by Arnon Avron.},
year = {1987},
}

@book{alma993262633502466,
author = {Avron, Arnon.},
address = {Edinburgh},
booktitle = {Gentzenizing Schroeder-Heister's natural extension of natural deduction},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-20},
title = {Gentzenizing Schroeder-Heister's natural extension of natural deduction / by Arnon Avron.},
year = {1987},
}

@book{alma993262693502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {Comparing linear and branching time temporal logics},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-24},
title = {Comparing linear and branching time temporal logics / by Colin Stirling.},
year = {1987},
}

@book{alma993262713502466,
author = {Parrow, Joachim},
address = {Edinburgh},
booktitle = {Submodule construction as equation solving in CCS},
keywords = {Computer network protocols},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-26},
title = {Submodule construction as equation solving in CCS / by Joachim Parrow.},
year = {1987},
}

@book{alma993262583502466,
author = {Parrow, Joachim},
address = {Edinburgh},
booktitle = {Verifying a CSMA/CD-protocol with CCS},
keywords = {Communication network protocols},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-87-18},
title = {Verifying a CSMA/CD-protocol with CCS / by Joachim Parrow.},
year = {1987},
}

@misc{alma992192353502466,
author = {Cardelli, Luca.},
address = {Edinburgh},
booktitle = {An algebraic approach to hardware description and verification},
keywords = {Integrated circuits -- Very large scale integration},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 16-82},
title = {An algebraic approach to hardware description and verification / by Luca Cardelli.},
year = {1982},
}

@misc{alma992705933502466,
author = {Marshall, Richard Millar.},
address = {Edinburgh},
booktitle = {Synthesis of hardware systems from very high level behavioural specifications},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 41-86},
title = {Synthesis of hardware systems from very high level behavioural specifications / Richard Millar Marshall.},
year = {1986},
}

@misc{alma992859733502466,
author = {McCaskill, George Alexander.},
address = {Edinburgh},
booktitle = {Generating programming environments with integrated text and graphics for VLSI design systems},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 45-87},
title = {Generating programming environments with integrated text and graphics for VLSI design systems / George Alexander McCaskill.},
year = {1987},
}

@misc{alma991218623502466,
author = {Monahan, Brian Quentin.},
address = {Edinburgh},
booktitle = {Data type proofs using Edinburgh LCF},
keywords = {Computable functions -- Theses},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 34-85},
title = {Data type proofs using Edinburgh LCF / Brian Quentin Monahan.},
year = {1984},
}

@book{alma992272473502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Is computing an experimental science?},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-1},
title = {Is computing an experimental science? / by Robin Milner.},
year = {1986},
}

@book{alma992350293502466,
author = {Tennent, R. D.},
address = {Edinburgh},
booktitle = {Functor-category semantics of programming languages and logics},
keywords = {Programming languages (Electronic computers) -- Semantics},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-3},
title = {Functor-category semantics of programming languages and logics / by R.D. Tennent.},
year = {1986},
}

@book{alma992351313502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {A complete axiomatisation for observational congruence of finite-state behaviours},
keywords = {Axiomatic set theory},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-8},
title = {A complete axiomatisation for observational congruence of finite-state behaviours / by Robin Milner.},
year = {1986},
}

@book{alma992351293502466,
author = {Tennent, R. D.},
address = {Edinburgh},
booktitle = {Semantic analysis of specification logic},
keywords = {Algol 60 (Computer program language)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-5},
title = {Semantic analysis of specification logic / by R.D. Tennent.},
year = {1986},
}

@misc{alma9911913883502466,
author = {Winskel, G. (Glynn)},
address = {Edinburgh},
booktitle = {Events in computation},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 10-80},
title = {Events in computation / Glynn Winskel.},
year = {1980},
}

@book{alma993815123502466,
author = {Brown, Carolyn T. (Carolyn Tanya)},
address = {Edinburgh},
booktitle = {Petri nets as quantales},
keywords = {Petri nets},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-96},
title = {Petri nets as quantales / by Carolyn Brown.},
year = {1989},
}

@book{alma993417053502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {A survey of formal software development methods},
keywords = {Computer software -- Development},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-56},
title = {A survey of formal software development methods / by Donald Sannella.},
year = {1988},
}

@book{alma993692953502466,
author = {Ore, Christian-Emil S.},
address = {Edinburgh},
booktitle = {On natural deduction style semantics, environments and stores},
keywords = {Functional programming languages -- Semantics},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-88},
title = {On natural deduction style semantics, environments and stores / by Christian-Emil Ore.},
year = {1989},
}

@book{alma993692943502466,
author = {Brown, Carolyn T. (Carolyn Tanya)},
address = {Edinburgh},
booktitle = {Relating Petri nets to formulae of linear logic},
keywords = {Petri nets},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-87},
title = {Relating Petri nets to formulae of linear logic / by Carolyn Brown.},
year = {1989},
}

@book{alma993417013502466,
author = {Luo, Zhaohui.},
address = {Edinburgh},
booktitle = {CC and its meta theory},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-58},
title = {CC and its meta theory / by Zhaohui Luo.},
year = {1988},
}

@book{alma993417033502466,
author = {Luo, Zhaohui.},
address = {Edinburgh},
booktitle = {A higher-order calculus and theory abstraction},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-57},
title = {A higher-order calculus and theory abstraction / by Zhaohui Luo.},
year = {1988},
}

@book{alma992351303502466,
author = {Tennent, R. D.},
address = {Edinburgh},
booktitle = {Quantification in Algol-like languages},
keywords = {Programming languages (Electronic computers) -- Syntax},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 86-6},
title = {Quantification in Algol-like languages / by R.D. Tennent.},
year = {1986},
}

@book{alma993285113502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Operational and algebraic semantics of concurrent processes},
keywords = {Programming languages (Electronic computers) -- Semantics},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-46},
title = {Operational and algebraic semantics of concurrent processes / by Robin Milner.},
year = {1988},
}

@book{alma993284953502466,
author = {Griffin, Timothy G.},
address = {Edinburgh},
booktitle = {An environment for formal systems},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-34},
title = {An environment for formal systems / Timothy G. Griffin.},
year = {1987},
}

@book{alma993285043502466,
address = {Edinburgh},
booktitle = {Fifth Workshop on Specification of Abstract Data Types : Gullane, 1-4 September 1987 ; abstracts},
keywords = {Abstract data types},
language = {eng},
organization = {Workshop on Specification of Abstract Data Types (5th : 1987 : Gullane, Scotland)},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-41},
title = {Fifth Workshop on Specification of Abstract Data Types : Gullane, 1-4 September 1987 ; abstracts / foreword by Don Sannella.},
year = {1987},
}

@book{alma993416823502466,
author = {Ritchie, Brian.},
address = {Edinburgh},
booktitle = {The interactive proof editor : an experiment in interactive theorem},
keywords = {Automatic theorem proving},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-61},
title = {The interactive proof editor : an experiment in interactive theorem / by Brian Ritchie and Paul Taylor.},
year = {1988},
}

@book{alma993693003502466,
author = {Steffen, Bernhard.},
address = {Edinburgh},
booktitle = {Finite constants : Characterizations of a new decidable set of constants},
keywords = {Algorithms},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-79},
title = {Finite constants : Characterizations of a new decidable set of constants / Bernhard Steffen and Jens Knoop.},
year = {1989},
}

@book{alma993842943502466,
author = {Moller, Faron.},
address = {Edinburgh},
booktitle = {A temporal calculus of communicating systems},
keywords = {Machine theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-104},
title = {A temporal calculus of communicating systems / by Faron Moller, Chris Tofts.},
year = {1989},
}

@book{alma993662713502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {Local model checking in the modal mu-calculus},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-78},
title = {Local model checking in the modal mu-calculus / Colin Stirling and David Walker.},
year = {1989},
}

@book{alma993285033502466,
author = {Mason, Ian A.},
address = {Edinburgh},
booktitle = {Verification of programs that destructively manipulate data},
keywords = {Computer software -- Verification},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-40},
title = {Verification of programs that destructively manipulate data / by Ian A. Mason.},
year = {1987},
}

@book{alma993915193502466,
author = {Pym, David J.},
address = {Edinburgh},
booktitle = {Investigations into proof-search in a system of first-order dependent function types},
keywords = {Lambda calculus},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 90-111},
title = {Investigations into proof-search in a system of first-order dependent function types / by David Pym and Lincoln Wallen.},
year = {1990},
}

@book{alma993262523502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Research in interactive theorem proving at Edinburgh University},
keywords = {Automatic theorem proving},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-12},
title = {Research in interactive theorem proving at Edinburgh University / by R.M. Burstall.},
year = {1986},
}

@book{alma993835203502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Syntax, typechecking and dynamic semantics for extended ML},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-101},
title = {Syntax, typechecking and dynamic semantics for extended ML / by Donald Sannella, Fabio da Silva.},
year = {1989},
}

@book{alma993417083502466,
author = {Reynolds, John C.},
address = {Edinburgh},
booktitle = {On functors expressible in the polymorphic typed lambda calculus},
keywords = {Functor theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-53},
title = {On functors expressible in the polymorphic typed lambda calculus / by J.C. Reynolds and G.D. Plotkin.},
year = {1988},
}

@book{alma993741673502466,
author = {Cleaveland, W. R. (Walter Rance)},
address = {Edinburgh},
booktitle = {The concurrency workbench : a semantics based tool for the verification of concurrent systems},
keywords = {Computer network protocols},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-83},
title = {The concurrency workbench : a semantics based tool for the verification of concurrent systems / by Rance Cleaveland, Joachim Parrow, Barnhard Steffen.},
year = {1989},
}

@book{alma993262673502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Some thoughts on algebraic specification},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-21},
title = {Some thoughts on algebraic specification / by Donald Sannella and Andrzej Tarlecki.},
year = {1987},
}

@book{alma993535903502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {A natural deduction treatment of operational semantics},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-69},
title = {A natural deduction treatment of operational semantics / R.M. Burstall and Furio Honsell.},
year = {1988},
}

@misc{alma99893883502466,
author = {Owoso, Gabriel Olusegun.},
address = {Edinburgh},
booktitle = {Data description and manipulation in persistent programming languages},
keywords = {Programming languages (Electronic computers) -- Theses},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 32-84},
title = {Data description and manipulation in persistent programming languages / by Gabriel Olusegun Owoso.},
year = {1984},
}

@misc{alma99861563502466,
author = {Damas, Luís},
address = {Edinburgh},
booktitle = {Type assignment in programming languages},
keywords = {Programming languages (Electronic computers) -- Theses},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 33-85},
title = {Type assignment in programming languages / by Luis Manuel Martins Damas.},
year = {1984},
}

@misc{alma993285133502466,
author = {Rothwell, Nicholas John.},
address = {Edinburgh},
booktitle = {The generation of concurrent code for declarative languages},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 44-87},
title = {The generation of concurrent code for declarative languages / by Nicholas John Rothwell.},
year = {1987},
}

@book{alma993262533502466,
author = {Larsen, K. G. (Kim G.)},
address = {Edinburgh},
booktitle = {A complete protocol verification using relativized bisimulation},
keywords = {Computer network protocols},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-13},
title = {A complete protocol verification using relativized bisimulation / by Kim G. Larsen and Robin Milner.},
year = {1986},
}

@book{alma992351323502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Computing with categories},
keywords = {Categories (Mathematics)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-9},
title = {Computing with categories / by R.M. Burstall and David Rydeheard.},
year = {1986},
}

@book{alma993693013502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {A calculus of mobile processes : Part I},
keywords = {Machine theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-85},
title = {A calculus of mobile processes : Part I / by Robin Milner, Joachim Parrow [and] David Walker.},
year = {1989},
}

@book{alma993693023502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {A calculus of mobile processes : Part II},
keywords = {Machine theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-86},
title = {A calculus of mobile processes : Part II / by Robin Milner, Joachim Parrow [and] David Walker.},
year = {1989},
}

@book{alma993741343502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Some fundamental algebraic tools for the semantics of computation / Part 3, Indexed categories.},
keywords = {Category theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-90},
title = {Some fundamental algebraic tools for the semantics of computation / by R.M. Burstall, Joseph A. Goguen, A. Tarlecki. Part 3, Indexed categories.},
year = {1989},
}

@book{alma993284913502466,
author = {Avron, Arnon.},
address = {Edinburgh},
booktitle = {Using typed lambda calculus to implement formal systems on a machine},
keywords = {Machine theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-31},
title = {Using typed lambda calculus to implement formal systems on a machine / by Arnon Avron, Furio A. Honsell and Ian A. Mason.},
year = {1987},
}

@book{alma999684213502466,
author = {Tarlecki, Andrzej.},
address = {Edinburgh},
booktitle = {Some fundamental algebraic tools for the semantics of computation / Part 3, Indexed categories.},
keywords = {Category theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-60},
title = {Some fundamental algebraic tools for the semantics of computation / by  A. Tarlecki, R.M. Burstall J.A. Goguen. Part 3, Indexed categories.},
year = {1988},
}

@book{alma993628163502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {Structure and representation in LF},
keywords = {Automatic theorem proving},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-75},
title = {Structure and representation in LF / by Robert Harper, Donald Sannella and Andrzej Tarlecki.},
year = {1989},
}

@book{alma993494333502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Co-induction in relational semantics},
keywords = {Programming languages (Electronic computers) -- Semantics},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-65},
title = {Co-induction in relational semantics / Robin Milner and Mads Tofte.},
year = {1988},
}

@book{alma993285063502466,
author = {Mitchell, John C.},
address = {Edinburgh},
booktitle = {The essence of ML},
keywords = {ML (Computer program language)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-42},
title = {The essence of ML / by John C. Mitchell and Robert Harper.},
year = {1987},
}

@book{alma993255873502466,
author = {Hagino, Tatsuya.},
address = {Edinburgh},
booktitle = {A typed lambda calculus with categorical type constructors},
keywords = {Categories (Mathematics)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-44},
title = {A typed lambda calculus with categorical type constructors / by Tatsuya Hagino.},
year = {1988},
}

@book{alma992351363502466,
author = {Goguen, J. A. (Joseph A.)},
address = {Edinburgh},
booktitle = {A study in the foundations of programming methodology : specifications, institutions, charters and parchments},
keywords = {Computer programming -- Methodology},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-10},
title = {A study in the foundations of programming methodology : specifications, institutions, charters and parchments / by Joseph A. Goguen and R.M. Burstall.},
year = {1986},
}

@book{alma994254933502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {A framework for defining logics},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-162},
title = {A framework for defining logics / by Robert Harper, Furio Honsell, Gordon Plotkin.},
year = {1991},
}

@book{alma993284873502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {A type discipline for program modules},
keywords = {ML (Computer program language)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-28},
title = {A type discipline for program modules / by Robert Harper, Robin Milner and Mads Tofte.},
year = {1987},
}

@misc{alma993258983502466,
author = {Widdowson, Roderick.},
address = {Edinburgh},
booktitle = {An investigation into stretchable cells for scale},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 181-85},
title = {An investigation into stretchable cells for scale / by Roderick Widdowson.},
year = {1985},
}

@book{alma99821303502466,
address = {Edinburgh},
keywords = {IMP (Computer Program Language)},
language = {eng},
organization = {University of Edinburgh. Department of Computer Science.},
publisher = {University of Edinburgh, Department of Computer Science},
series = {Edinburgh Multi-Access Project},
title = {Programming in Imp.},
year = {1966},
}

@book{alma993173103502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Extended ML : an institution-independent framework for formal program development},
keywords = {Programming languages (Electronic computers)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-16},
title = {Extended ML : an institution-independent framework for formal program development / by Donald Sannella and Andrzej Tarlecki.},
year = {1986},
}

@book{alma993258243502466,
address = {Edinburgh},
language = {eng},
organization = {Clan Systems Ltd.},
publisher = {University of Edinburgh},
series = {CSR- ; 196-85},
title = {LAYOUT formatting language : reference manual.},
year = {1985},
}

@book{alma998971873502466,
author = {Coe, P. S.},
address = {Edinburgh},
booktitle = {HASE: an environment for hardware/software codesign},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-41-98},
title = {HASE: an environment for hardware/software codesign / P.S. Coe ... [et al.]},
year = {1998},
}

@book{alma998971853502466,
author = {Knafla, Nils.},
address = {Edinburgh},
booktitle = {Page versus object prefetching: a performance evaluation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-43-98},
title = {Page versus object prefetching: a performance evaluation / Nils Knafla.},
year = {1998},
}

@book{alma994470493502466,
author = {Ibbett, Roland N.},
address = {Edinburgh},
booktitle = {Final report on the DTI-funded awareness initiative in object oriented computing},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 21-92},
title = {Final report on the DTI-funded awareness initiative in object oriented computing / by R.N. Ibbett.},
year = {1992},
}

@book{alma995677743502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Lambda calculus},
language = {eng},
publisher = {[University of Edinburgh]},
series = {Programming-Lecture ; 7},
title = {Lambda calculus / R.M. Burstall.},
year = {1969},
}

@book{alma994189583502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Simple translation-invariant concepts are hard to learn},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 12-91},
title = {Simple translation-invariant concepts are hard to learn / by Mark Jerrum.},
year = {1991},
}

@misc{alma99830813502466,
author = {Adams, John Colin.},
address = {Edinburgh},
booktitle = {Performance, measurement and evaluation of time-shared operating systems},
language = {eng},
publisher = {Department of Computer Science, University of Edinburgh},
title = {Performance, measurement and evaluation of time-shared operating systems / John Colin Adams.},
year = {1977},
}

@book{alma994742093502466,
author = {Cole, Murray Irwin.},
address = {Edinburgh},
booktitle = {Parallel programming, list homomorphisms and the maximum segment sum problem},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 25-93},
title = {Parallel programming, list homomorphisms and the maximum segment sum problem / by Murray Cole.},
year = {1993},
}

@book{alma994742083502466,
author = {Cole, Murray Irwin.},
address = {Edinburgh},
booktitle = {List homomorphic parallel algorithms for bracket matching},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 29-93},
title = {List homomorphic parallel algorithms for bracket matching / by Murray Cole.},
year = {1993},
}

@book{alma993514403502466,
author = {Tarlecki, Andrzej.},
address = {Edinburgh},
booktitle = {A language of specified programs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 148-83},
title = {A language of specified programs / by Andrzej Tarlecki.},
year = {1983},
}

@book{alma993513893502466,
author = {Cohn, Avra Jean.},
address = {Edinburgh},
booktitle = {The equivalence of two semantic definitions : a case study in LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 76-81},
title = {The equivalence of two semantic definitions : a case study in LCF / by Avra Cohn.},
year = {1981},
}

@book{alma993514413502466,
author = {Tarlecki, Andrzej.},
address = {Edinburgh},
booktitle = {Free constructions in algebraic institutions},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 149-83},
title = {Free constructions in algebraic institutions / by Andrzej Tarlecki.},
year = {1983},
}

@book{alma993514723502466,
author = {Smyth, M. B.},
address = {Edinburgh},
booktitle = {Power domains and predicate transformers : a topological view},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 126-83},
title = {Power domains and predicate transformers : a topological view / by M.B. Smyth.},
year = {1983},
}

@book{alma993513683502466,
author = {Atkinson, M. P.},
address = {Edinburgh},
booktitle = {Database systems},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 43-79},
title = {Database systems / by Malcolm Atkinson.},
year = {1979},
}

@book{alma993514523502466,
author = {Schoett, Oliver.},
address = {Edinburgh},
booktitle = {A theory of program modules, their specification and implementation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 155-83},
title = {A theory of program modules, their specification and implementation / by Oliver Schoett.},
year = {1982},
}

@book{alma993514123502466,
author = {Cardelli, Luca.},
address = {Edinburgh},
booktitle = {Two-dimensional syntax for functional languages},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 115-82},
title = {Two-dimensional syntax for functional languages / by Luca Cardelli.},
year = {1982},
}

@book{alma993514333502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {A model for nondeterministic machines},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 135-83},
title = {A model for nondeterministic machines / by M. Hennessy.},
year = {1983},
}

@book{alma993513703502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Applications of algebraic completeness to problems of network reliability and monomer-dimer systems},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 45-79},
title = {Applications of algebraic completeness to problems of network reliability and monomer-dimer systems / by Mark Jerrum.},
year = {1979},
}

@book{alma993514433502466,
author = {Traub, Niklas Gerard.},
address = {Edinburgh},
booktitle = {A LISP based CIRCAL environment},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 152-83},
title = {A LISP based CIRCAL environment / by Niklas Traub.},
year = {1983},
}

@book{alma993513913502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {A term model for synchronous processes},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 77-81},
title = {A term model for synchronous processes / by Matthew Hennessy.},
year = {1981},
}

@book{alma993513723502466,
author = {Holtzman, Steven R.},
address = {Edinburgh},
booktitle = {GGDL : generative grammar definitional language},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 56-80},
title = {GGDL : generative grammar definitional language / by S.R. Holtzman.},
year = {1980},
}

@book{alma993513933502466,
author = {Cardelli, Luca.},
address = {Edinburgh},
booktitle = {Sticks & stones : an applicative VLSI design language},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 85-81},
title = {Sticks & stones : an applicative VLSI design language / by Luca Cardelli.},
year = {1981},
}

@book{alma993513823502466,
author = {Fürer, Martin.},
address = {Edinburgh},
booktitle = {The complexity of Presburger arithmetic with bounded quantifier-alternation depth},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 70-80},
title = {The complexity of Presburger arithmetic with bounded quantifier-alternation depth / by Martin Fürer.},
year = {1980},
}

@book{alma993514053502466,
author = {Kalorkoti, K. A.},
address = {Edinburgh},
booktitle = {A lower bound for the formula size of rational functions},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 106-82},
title = {A lower bound for the formula size of rational functions / by K.A. Kalorkoti.},
year = {1982},
}

@book{alma993513833502466,
author = {Kennedy, R. J.},
address = {Edinburgh},
booktitle = {A student user's guide to VAX : version 1.01},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 71-80},
title = {A student user's guide to VAX : version 1.01 / by R.J. Kennedy.},
year = {1980},
}

@book{alma993514273502466,
author = {Backhouse, Roland C. (Roland Carl)},
address = {Edinburgh},
booktitle = {Specification and proof of a regular language recogniser in synchronous CCS},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 130-83},
title = {Specification and proof of a regular language recogniser in synchronous CCS / by Roland Backhouse.},
year = {1983},
}

@book{alma993514373502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {The complexity of finding minimum-length generator sequences},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 139-83},
title = {The complexity of finding minimum-length generator sequences / by Mark Jerrum.},
year = {1983},
}

@book{alma993513953502466,
author = {Jensen, Finn V.},
address = {Edinburgh},
booktitle = {An LCF-system for automatic creation of theories for 1-constructable data types},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 87-81},
title = {An LCF-system for automatic creation of theories for 1-constructable data types / Finn V. Jensen.},
year = {1981},
}

@book{alma993514803502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {A proof theoretic characterization of observational equivalence},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 132-83},
title = {A proof theoretic characterization of observational equivalence / by Colin Stirling.},
year = {1983},
}

@book{alma993514283502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {Axiomatising finite delay operators},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 124-82},
title = {Axiomatising finite delay operators / by Matthew Hennessy.},
year = {1982},
}

@book{alma993514493502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {Modelling finite delay operators},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 153-83},
title = {Modelling finite delay operators / by M.C.B. Hennessy.},
year = {1983},
}

@book{alma993514593502466,
author = {Li, Wei.},
address = {Edinburgh},
booktitle = {A syntax-directed approach for implementing the rendezvous mechanism in Ada},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 161-84},
title = {A syntax-directed approach for implementing the rendezvous mechanism in Ada / by Wei Li.},
year = {1984},
}

@book{alma993968383502466,
author = {Pooley, R. J.},
address = {Edinburgh},
booktitle = {Introduction to the second Posie report},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 6-90},
title = {Introduction to the second Posie report / by Rob Pooley.},
year = {1990},
}

@book{alma994335763502466,
author = {Cole, Murray Irwin.},
address = {Edinburgh},
booktitle = {Graph reduction and pipelined parallel algorithms},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 18-91},
title = {Graph reduction and pipelined parallel algorithms / by Murray Cole.},
year = {1991},
}

@book{alma993257913502466,
author = {McCarty, Charles.},
address = {Edinburgh},
booktitle = {Markov's principle, isols and Dedekind finite sets},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 202-86},
title = {Markov's principle, isols and Dedekind finite sets / by Charles McCarty.},
year = {1986},
}

@book{alma993258323502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {Modal logics for communicating systems},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 193-85},
title = {Modal logics for communicating systems / by Colin Stirling.},
year = {1985},
}

@book{alma993257903502466,
author = {McCarty, Charles.},
address = {Edinburgh},
booktitle = {Constructive validity is nonarithmetic},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 203-86},
title = {Constructive validity is nonarithmetic / by Charles McCarty.},
year = {1986},
}

@book{alma993257823502466,
author = {McCarty, Charles.},
address = {Edinburgh},
booktitle = {Variations on a thesis : intuitionism and computability},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 245-87},
title = {Variations on a thesis : intuitionism and computability / by Charles McCarty.},
year = {1987},
}

@book{alma993257813502466,
author = {Pezzè, Mauro.},
address = {Edinburgh},
booktitle = {Behavioural abstraction and circuit verification using CIRCAL},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 251-87},
title = {Behavioural abstraction and circuit verification using CIRCAL / Mauro Pezze'.},
year = {1987},
}

@book{alma993257993502466,
author = {Davie, Bruce S.},
address = {Edinburgh},
booktitle = {Hardware description languages : some recent developments},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 198-86},
title = {Hardware description languages : some recent developments / by B.S. Davie.},
year = {1986},
}

@book{alma993258413502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {A compositional reformulation of Owicki-Gries's partial correctness for a parallel while language},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 189-85},
title = {A compositional reformulation of Owicki-Gries's partial correctness for a parallel while language / by Colin Stirling.},
year = {1985},
}

@book{alma993257863502466,
author = {Rothwell, Nicholas John.},
address = {Edinburgh},
booktitle = {SILVER : the language and its implementation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 206-86},
title = {SILVER : the language and its implementation / by Nick Rothwell.},
year = {1986},
}

@book{alma993257963502466,
author = {Langlois, Laurent.},
address = {Edinburgh},
booktitle = {Parallel parsing on an array of processors},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 200-86},
title = {Parallel parsing on an array of processors / by Laurent Langlois.},
year = {1986},
}

@book{alma993258373502466,
author = {Norrie, Moira C. (Moira Constable)},
address = {Edinburgh},
booktitle = {The Edinburgh node of the Proteus distributed database system},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 191-85},
title = {The Edinburgh node of the Proteus distributed database system / by Moira Norrie.},
year = {1985},
}

@book{alma993257643502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {A data structure for systems of orthogonal, non-overlapping rectangles},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 239-87},
title = {A data structure for systems of orthogonal, non-overlapping rectangles / Mark Jerrum.},
year = {1987},
}

@book{alma993257873502466,
author = {Blake, Andrew.},
address = {Edinburgh},
booktitle = {On the geometric information obtainable from simultaneous observation of stereo contour and shading},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 205-86},
title = {On the geometric information obtainable from simultaneous observation of stereo contour and shading / by Andrew Blake.},
year = {1986},
}

@book{alma993258393502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Complementary partial orders and rectangle packing},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 190-85},
title = {Complementary partial orders and rectangle packing / by Mark Jerrum.},
year = {1985},
}

@book{alma994098023502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {The elusiveness of large cliques in a random graph},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 9-90},
title = {The elusiveness of large cliques in a random graph / by Mark Jerrum.},
year = {1990},
}

@book{alma993581063502466,
author = {Kalorkoti, K. A.},
address = {Edinburgh},
booktitle = {Turing degrees and the world and conjugacy problems for finitely presented groups},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 287-89},
title = {Turing degrees and the world and conjugacy problems for finitely presented groups / K. Kalorkoti.},
year = {1989},
}

@misc{alma993581023502466,
author = {Tofte, Mads.},
address = {Edinburgh},
booktitle = {Operational semantics and polymorphic type inference},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 52-88},
title = {Operational semantics and polymorphic type inference / Mads Tofte.},
year = {1988},
}

@book{alma993424753502466,
author = {Fürer, Martin.},
address = {Edinburgh},
booktitle = {The complexity of the inequivalence problem for regular expressions with intersection},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 59-80},
title = {The complexity of the inequivalence problem for regular expressions with intersection / by Martin Fürer.},
year = {1980},
}

@book{alma993424873502466,
author = {McLellan, P.},
address = {Edinburgh},
booktitle = {LEGOS : user reference manual},
edition = {Revised edition.},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 49-79},
title = {LEGOS : user reference manual / by P. McLellan.},
year = {1979},
}

@book{alma993425393502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {Negative results on counting},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 38-79},
title = {Negative results on counting / by L.G. Valiant.},
year = {1979},
}

@book{alma993425423502466,
author = {Cohn, Avra Jean.},
address = {Edinburgh},
booktitle = {High level proof in LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 35-78},
title = {High level proof in LCF / by Avra Cohn.},
year = {1978},
}

@book{alma993424803502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {Universality considerations in VLSI circuits},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 54-80},
title = {Universality considerations in VLSI circuits / by L.G. Valiant.},
year = {1980},
}

@book{alma993424823502466,
author = {Atkinson, M. P.},
address = {Edinburgh},
booktitle = {Data management for interactive graphics},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 51-80},
title = {Data management for interactive graphics / by M.P. Atkinson.},
year = {1980},
}

@book{alma993424843502466,
author = {Leszczyłowski, Jacek.},
address = {Edinburgh},
booktitle = {An experiment with "Edinburgh LCF"},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 50-80},
title = {An experiment with "Edinburgh LCF" / by Jacek Leszczylowski.},
year = {1980},
}

@book{alma993425373502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {Completeness classes in algebra},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 40-79},
title = {Completeness classes in algebra / L.G. Valiant.},
year = {1979},
}

@book{alma995599803502466,
author = {Wood, Graham.},
address = {Edinburgh},
booktitle = {Microprogram design at the processor level},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 36-79},
title = {Microprogram design at the processor level / by Graham Wood.},
year = {1979},
}

@book{alma995599853502466,
author = {Snir, Marc.},
address = {Edinburgh},
booktitle = {On the size complexity of monotone formulas},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 46-79},
title = {On the size complexity of monotone formulas / by Marc Snir.},
year = {1979},
}

@misc{alma996764593502466,
author = {Bruns, Glenn R. (Glenn Robert)},
address = {Edinburgh},
booktitle = {Process abstraction in the verification of temporal properties},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 141-98},
title = {Process abstraction in the verification of temporal properties / Glenn R. Bruns.},
year = {1998},
}

@book{alma9910346523502466,
author = {Smith, Lawrence D.},
address = {Edinburgh},
booktitle = {ECCE : the Edinburgh Compatible Context Editor},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 24-78},
title = {ECCE : the Edinburgh Compatible Context Editor / by L.D. Smith.},
year = {1978},
}

@misc{alma9911203403502466,
author = {Berry, Dave.},
address = {Edinburgh},
booktitle = {Generating program animators from programming language semantics},
keywords = {Programming languages (Electronic computers) -- Semantics -- Theses},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 79-91},
title = {Generating program animators from programming language semantics / by Dave Berry.},
year = {1991},
}

@book{alma9912589423502466,
author = {Stephens, P. D.},
address = {Edinburgh},
booktitle = {The IMP language and compiler},
language = {eng},
publisher = {[Edinburgh University]},
series = {EMAS report ; 6},
title = {The IMP language and compiler / P.D. Stephens.},
year = {1977},
}

@book{alma9912589323502466,
author = {Rees, D. J.},
address = {Edinburgh},
booktitle = {The EMAS director},
language = {eng},
publisher = {[Edinburgh University]},
series = {EMAS report ; 2},
title = {The EMAS director / D.J. Rees.},
year = {1977},
}

@book{alma9912589403502466,
author = {Wight, A. S.},
address = {Edinburgh},
booktitle = {The EMAS archiving program},
language = {eng},
publisher = {[Edinburgh University]},
series = {EMAS report ; 5},
title = {The EMAS archiving program / A.S. Wight.},
year = {1977},
}

@misc{alma995566383502466,
author = {Pollack, Robert.},
address = {Edinburgh},
booktitle = {The theory of LEGO : a proof checker for the extended calculus of constructions},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 115-95},
title = {The theory of LEGO : a proof checker for the extended calculus of constructions / by Robert Pollack.},
year = {1994},
}

@book{alma993423503502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {The complexity of combinatorial computations : an introduction},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 30-78},
title = {The complexity of combinatorial computations : an introduction / by L.G. Valiant.},
year = {1978},
}

@book{alma993423733502466,
author = {Casey, Liam Maurice.},
address = {Edinburgh},
booktitle = {Computer networks : a small survey},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 23-78},
title = {Computer networks : a small survey / by L. Casey.},
year = {1978},
}

@book{alma993424373502466,
author = {Rees, D. J.},
address = {Edinburgh},
booktitle = {DCAP : David's Circuit Assignment Program},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 3-77},
title = {DCAP : David's Circuit Assignment Program / by D.J. Rees.},
year = {1977},
}

@book{alma993424583502466,
author = {Smith, Lawrence D.},
address = {Edinburgh},
booktitle = {SIM : a gate level simulator},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 60-80},
title = {SIM : a gate level simulator / by L.D. Smith.},
year = {1980},
}

@book{alma993424593502466,
author = {Smith, Lawrence D.},
address = {Edinburgh},
booktitle = {The elementary structural description language},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 53-80},
title = {The elementary structural description language / by L.D. Smith.},
year = {1980},
}

@book{alma993424533502466,
author = {Leszczyłowski, Jacek.},
address = {Edinburgh},
booktitle = {Theory of FP systems in Edinburgh LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 61-80},
title = {Theory of FP systems in Edinburgh LCF / by Jacek Leszczylowski.},
year = {1980},
}

@book{alma993423913502466,
author = {McLellan, P.},
address = {Edinburgh},
booktitle = {LAYOUT},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 21-78},
title = {LAYOUT / by P. McLellan.},
year = {1978},
}

@book{alma993259293502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {An algebraic theory of fair asynchronous communicating processes},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 171-84},
title = {An algebraic theory of fair asynchronous communicating processes / by Matthew Hennessy.},
year = {1984},
}

@book{alma993259303502466,
author = {Nixon, I. M.},
address = {Edinburgh},
booktitle = {I.F. : an idiomatic floorplanner},
edition = {Reprint with modifications.},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 170-84},
title = {I.F. : an idiomatic floorplanner / by I.M. Nixon.},
year = {1984},
}

@book{alma993259473502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {Proving systolic systems correct},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 162-84},
title = {Proving systolic systems correct / by Matthew Hennessy.},
year = {1984},
}

@book{alma993259443502466,
author = {Milne, George J.},
address = {Edinburgh},
booktitle = {Towards verifiably correct VLSI design},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 164-84},
title = {Towards verifiably correct VLSI design / by George Milne.},
year = {1984},
}

@book{alma993259023502466,
author = {Prasad, K. V. S. (Kuchi Venkata Sathyanarayara)},
address = {Edinburgh},
booktitle = {Specification and proof of a simple fault tolerant system in CCS},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 178-84},
title = {Specification and proof of a simple fault tolerant system in CCS / by K.V.S. Prasad.},
year = {1984},
}

@book{alma993258933502466,
author = {Schoett, Oliver.},
address = {Edinburgh},
booktitle = {Behavioural correctness of data representations},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 185-85},
title = {Behavioural correctness of data representations / by Oliver Schoett.},
year = {1985},
}

@book{alma993259243502466,
author = {Tarlecki, Andrzej.},
address = {Edinburgh},
booktitle = {Quasi-varieties in abstract algebraic institutions},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 173-84},
title = {Quasi-varieties in abstract algebraic institutions / by Andrzej Tarlecki.},
year = {1984},
}

@book{alma993259003502466,
author = {Blake, Andrew.},
address = {Edinburgh},
booktitle = {Inferring surface shape by specular stereo},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 179-84},
title = {Inferring surface shape by specular stereo / by Andrew Blake.},
year = {1984},
}

@book{alma993259313502466,
author = {Costa, Gerardo.},
address = {Edinburgh},
booktitle = {A metric characterization of fair computations in CCS},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 169-84},
title = {A metric characterization of fair computations in CCS / by Gerardo Costa.},
year = {1984},
}

@book{alma993259433502466,
author = {Tarlecki, Andrzej.},
address = {Edinburgh},
booktitle = {Abstract algebraic institutions which strongly admit initial semantics},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 165-84},
title = {Abstract algebraic institutions which strongly admit initial semantics / by Andrzej Tarlecki.},
year = {1984},
}

@book{alma993514933502466,
author = {Schmidt, David A.},
address = {Edinburgh},
booktitle = {Detecting global variables in denotational semantics},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 143-83},
title = {Detecting global variables in denotational semantics / by David Schmidt.},
year = {1983},
}

@book{alma993514943502466,
author = {Shields, M. W. (Mike W.)},
address = {Edinburgh},
booktitle = {Non-sequential behaviours, 2},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 144-83},
title = {Non-sequential behaviours, 2 / by M.W. Shields.},
year = {1983},
}

@book{alma993514953502466,
author = {Sokołowski, S. (Stefan)},
address = {Edinburgh},
booktitle = {An LCF proof of soundness of Hoare's logic : a paper without a happy ending},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 146-83},
title = {An LCF proof of soundness of Hoare's logic : a paper without a happy ending / by Stefan Sokolowski.},
year = {1983},
}

@book{alma993514883502466,
author = {Sokołowski, S. (Stefan)},
address = {Edinburgh},
booktitle = {A note on tactics in LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 140-83},
title = {A note on tactics in LCF / by Stefan Sokolowski.},
year = {1983},
}

@book{alma993514913502466,
author = {Schmidt, David A.},
address = {Edinburgh},
booktitle = {Natural deduction theorem proving in set theory},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 142-83},
title = {Natural deduction theorem proving in set theory / by David Schmidt.},
year = {1983},
}

@book{alma993514903502466,
author = {Schmidt, David A.},
address = {Edinburgh},
booktitle = {A programming notation for tactical reasoning},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 141-83},
title = {A programming notation for tactical reasoning / by David Schmidt.},
year = {1983},
}

@book{alma994410533502466,
author = {Hillston, Jane.},
address = {Edinburgh},
booktitle = {A tool to enhance model exploitation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 20-92},
title = {A tool to enhance model exploitation / by Jane Hillston.},
year = {1992},
}

@book{alma993255553502466,
author = {Deas, Alexander Roger.},
address = {Edinburgh},
booktitle = {Chromatic idioms for automated VLSI floorplanning},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 255-88},
title = {Chromatic idioms for automated VLSI floorplanning / by Alex Deas.},
year = {1988},
}

@book{alma994220713502466,
author = {Brebner, Gordon.},
address = {Edinburgh},
booktitle = {Configurable array logic circuits for computing network error detection codes},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 16-91},
title = {Configurable array logic circuits for computing network error detection codes / by Gordon Brebner.},
year = {1991},
}

@book{alma993915283502466,
author = {Lees, Timothy.},
address = {Edinburgh},
booktitle = {On context streams and the boundedness of context flow graphs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 2-90},
title = {On context streams and the boundedness of context flow graphs / by Timothy Lees.},
year = {1990},
}

@book{alma993915303502466,
author = {Lees, Timothy.},
address = {Edinburgh},
booktitle = {On context stream tuples and higher-order context flow graphs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 4-90},
title = {On context stream tuples and higher-order context flow graphs / by Timothy Lees.},
year = {1990},
}

@book{alma9912580853502466,
author = {Li, Wei.},
address = {Edinburgh},
booktitle = {An operational semantics of tasking and exception handling in Ada},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 99-82},
title = {An operational semantics of tasking and exception handling in Ada / by Wei Li.},
year = {1982},
}

@book{alma995118293502466,
author = {Oliver, Peter I.},
address = {Edinburgh},
booktitle = {Extensions to a change detection in MRI brain scan data program : 4th year project report},
language = {eng},
publisher = {Edinburgh University},
title = {Extensions to a change detection in MRI brain scan data program : 4th year project report / Peter I. Oliver.},
year = {1995},
}

@book{alma994635403502466,
author = {Hillston, Jane.},
address = {Edinburgh},
booktitle = {PEPA : performance enhanced process algebra},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 24-93},
title = {PEPA : performance enhanced process algebra / by Jane Hillston.},
year = {1993},
}

@book{alma993628063502466,
author = {Proctor, Stephen W. (Stephen Wilson)},
address = {Edinburgh},
booktitle = {Virtual objects : hiding the distribution in distributed systems},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 293-89},
title = {Virtual objects : hiding the distribution in distributed systems / by Steve Proctor.},
year = {1989},
}

@book{alma995597653502466,
author = {Morrison, R.},
address = {Edinburgh},
booktitle = {S-algol : reference manual},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 80-81},
title = {S-algol : reference manual / by R. Morrison.},
year = {1981},
}

@book{alma995597233502466,
author = {Plotkin, G. (Gordon)},
address = {Edinburgh},
booktitle = {An operational semantics for CSP},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 114-82},
title = {An operational semantics for CSP / by G.D. Plotkin.},
year = {1982},
}

@book{alma995597753502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {A scheme for fast parallel communication},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 72-80},
title = {A scheme for fast parallel communication / by L.G. Valiant.},
year = {1980},
}

@book{alma995597013502466,
author = {Shields, M. W. (Mike W.)},
address = {Edinburgh},
booktitle = {On the non-sequential behaviour of systems possessing a generalised free choice property},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 92-81},
title = {On the non-sequential behaviour of systems possessing a generalised free choice property / by M.W. Shields.},
year = {1981},
}

@book{alma995597743502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {Experiments with a parallel communication scheme},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 73-80},
title = {Experiments with a parallel communication scheme / by L.G. Valiant.},
year = {1980},
}

@book{alma995597323502466,
author = {Royal, Natalie.},
address = {Edinburgh},
booktitle = {An introduction to VAX/VMS},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 93-81},
title = {An introduction to VAX/VMS / by Natalie Royal.},
year = {1981},
}

@book{alma995597633502466,
author = {Mycroft, Alan.},
address = {Edinburgh},
booktitle = {The theory and practice of transforming call-by-need into call-by-value},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 88-81},
title = {The theory and practice of transforming call-by-need into call-by-value / by Alan Mycroft.},
year = {1981},
}

@book{alma995597733502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {Reducibility by algebraic projections},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 64-80},
title = {Reducibility by algebraic projections / by L.G. Valiant.},
year = {1980},
}

@book{alma995597303502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {Future branching time logics and fairness},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 105-82},
title = {Future branching time logics and fairness / by Colin Stirling.},
year = {1982},
}

@book{alma995596983502466,
author = {Rees, D. J.},
address = {Edinburgh},
booktitle = {The structure of the EMAS 2900 kernel},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 91-81},
title = {The structure of the EMAS 2900 kernel / by D.J. Rees.},
year = {1981},
}

@book{alma995597803502466,
author = {Snir, Marc.},
address = {Edinburgh},
booktitle = {Comparisons between linear functions can help},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 66-80},
title = {Comparisons between linear functions can help / by Marc Snir.},
year = {1980},
}

@book{alma995597783502466,
author = {Snir, Marc.},
address = {Edinburgh},
booktitle = {On the complexity of simplifying quadratic forms},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 67-80},
title = {On the complexity of simplifying quadratic forms / by Marc Snir.},
year = {1980},
}

@book{alma995597573502466,
author = {Mycroft, Alan.},
address = {Edinburgh},
booktitle = {Call-by-need = call-by-value + conditional},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 78-81},
title = {Call-by-need = call-by-value + conditional / by Alan Mycroft.},
year = {1981},
}

@book{alma995597673502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {A new semantics for Clear},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 79-81},
title = {A new semantics for Clear / by D. Sannella.},
year = {1981},
}

@book{alma995597773502466,
author = {Snir, Marc.},
address = {Edinburgh},
booktitle = {Crossbar 1616 (a neophyte incursion into VLSI design)},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 68-80},
title = {Crossbar 1616 (a neophyte incursion into VLSI design) / by Marc Snir.},
year = {1980},
}

@book{alma995597553502466,
author = {Rees, D. J.},
address = {Edinburgh},
booktitle = {SKIMP Mk II},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 52-80},
title = {SKIMP Mk II / by D.J. Rees.},
year = {1980},
}

@book{alma9911204333502466,
author = {Cole, Murray Irwin.},
address = {Edinburgh},
booktitle = {Dividing and conquering},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-CSG- ; 31-97},
title = {Dividing and conquering / by Murray Cole.},
year = {1997},
}

@book{alma999991663502466,
author = {Matthews, David C. J.},
address = {Edinburgh},
booktitle = {A persistent storage system for Poly},
language = {eng},
publisher = {[University of Edinburgh]},
series = {ML Library ; 028},
title = {A persistent storage system for Poly / David C.J. Matthews.},
year = {198?},
}

@book{alma999991733502466,
author = {Matthews, David C. J.},
address = {Edinburgh},
booktitle = {Windows for  ML : revised},
language = {eng},
publisher = {[University of Edinburgh]},
series = {ML Library ; 031},
title = {Windows for  ML : revised  / David C.J. Matthews.},
year = {1987},
}

@book{alma999991713502466,
author = {Matthews, David C. J.},
address = {Edinburgh},
booktitle = {Interfacing C routines to Poly/ ML},
language = {eng},
publisher = {[University of Edinburgh]},
series = {ML Library ; 030},
title = {Interfacing C routines to Poly/ ML / David C.J. Matthews.},
year = {1987},
}

@book{alma999991693502466,
author = {Matthews, David C. J.},
address = {Edinburgh},
booktitle = {Processes for Poly and ML},
language = {eng},
publisher = {[University of Edinburgh]},
series = {ML Library ; 029},
title = {Processes for Poly and ML / David C.J. Matthews.},
year = {1987},
}

@book{alma999992823502466,
author = {Berry, Dave.},
address = {Edinburgh},
booktitle = {A portable window system for Standard ML : working paper},
language = {eng},
publisher = {[University of Edinburgh]},
series = {ML Library ; 053},
title = {A portable window system for Standard ML : working paper / Dave Berry.},
year = {1988},
}

@misc{alma9911913853502466,
author = {Kulkarni, Krishnarao Gururao.},
address = {Edinburgh},
booktitle = {Evaluation of functional data models for database design and use},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 23-83},
title = {Evaluation of functional data models for database design and use / Krishnarao Gururao Kulkarni.},
year = {1983},
}

@book{alma998971883502466,
author = {Pooley, R. J.},
address = {Edinburgh},
booktitle = {Software reengineering patterns},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-40-98},
title = {Software reengineering patterns / Rob Pooley and Perdita Stevens.},
year = {1998},
}

@book{alma993514103502466,
address = {Edinburgh},
booktitle = {Algorithms for a persistent heap},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 109-82},
title = {Algorithms for a persistent heap / by Malcolm Atkinson [and others].},
year = {1982},
}

@book{alma99821293502466,
address = {Edinburgh},
booktitle = {Atlas autocode compiler for KDF 9},
keywords = {Atlas autocode (Computer programming language)},
language = {eng},
publisher = {Edinburgh University Computer Unit},
title = {Atlas autocode compiler for KDF 9 / by Paul Bratley [and others].},
year = {1965},
}

@book{alma993423663502466,
address = {Edinburgh},
booktitle = {An experiment in doing it again, but very well this time},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 18-77},
title = {An experiment in doing it again, but very well this time / by N.H. Shelness [and others].},
year = {1977},
}

@book{alma993513923502466,
author = {Gordon, Michael J. C.},
address = {Edinburgh},
booktitle = {A model of register transfer systems with applications to microcode and VLSI correctness},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 82-81},
title = {A model of register transfer systems with applications to microcode and VLSI correctness / by Mike Gordon.},
year = {1981},
}

@book{alma993514133502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {A finite delay operator in synchronous CCS},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 116-82},
title = {A finite delay operator in synchronous CCS / by Robin Milner.},
year = {1982},
}

@book{alma993257853502466,
author = {Sakuma, Hiroshi.},
address = {Edinburgh},
booktitle = {A silicon pre-compiler},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 207-86},
title = {A silicon pre-compiler / by Hiroshi Sakuma.},
year = {1986},
}

@book{alma993425123502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {LCF : a way of doing proofs with a machine},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 41-79},
title = {LCF : a way of doing proofs with a machine / by Robin Milner.},
year = {1979},
}

@book{alma993377313502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {A proposal for standard ML},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 157-83},
title = {A proposal for standard ML / by Robin Milner.},
year = {1983},
}

@book{alma993424333502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Flowgraphs and flow algebras},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 5-77},
title = {Flowgraphs and flow algebras / by R. Milner.},
year = {1977},
}

@book{alma993424233502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {A theory of type polymorphism in programming},
edition = {Revised edition.},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 9-77},
title = {A theory of type polymorphism in programming / by R. Milner.},
year = {1978},
}

@book{alma993259333502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {The standard ML core language},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 168-84},
title = {The standard ML core language / by Robin Milner.},
year = {1984},
}

@book{alma995597183502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {A complete inference system for a class of regular behaviours},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 111-82},
title = {A complete inference system for a class of regular behaviours / by Robin Milner.},
year = {1982},
}

@book{alma995597073502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Calculi for synchrony and asynchrony},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 104-82},
title = {Calculi for synchrony and asynchrony / by Robin Milner.},
year = {1982},
}

@book{alma994470503502466,
author = {Eyre-Todd, Richard A. (Richard Adrian)},
address = {Edinburgh},
booktitle = {Pointers and multi-dimensional arrays},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 22-92},
title = {Pointers and multi-dimensional arrays / by Richard A. Eyre-Todd.},
year = {1992},
}

@misc{alma995820303502466,
author = {Turner, David N. (David Neil)},
address = {Edinburgh},
booktitle = {The polymorphic pi-calculus : theory and implementation},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 126-96},
title = {The polymorphic pi-calculus : theory and implementation / by David N. Turner.},
year = {1995},
}

@book{alma995297803502466,
author = {Harris, Tim J.},
address = {Edinburgh},
booktitle = {A survey of PRAM simulation techniques},
edition = {revision of CSR-23-92.},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 31-94},
title = {A survey of PRAM simulation techniques / by Tim J. Harris.},
year = {1994},
}

@misc{alma99751903502466,
author = {Ritchie, Graeme D.},
address = {Edinburgh},
booktitle = {Computer modelling of English grammar},
keywords = {English language -- Grammar},
language = {eng},
publisher = {Department of Computer Science, University of Edinburgh},
series = {CST-1-77},
title = {Computer modelling of English grammar / by Graeme Donald Ritchie.},
year = {1977},
}

@book{alma994189593502466,
author = {Yeung, Ping.},
address = {Edinburgh},
booktitle = {A comparison of hardware description languages},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 13-91},
title = {A comparison of hardware description languages / by Ping Yeung and David Rees.},
year = {1991},
}

@book{alma994742103502466,
author = {Heywood, Todd.},
address = {Edinburgh},
booktitle = {Models of parallelism},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 28-93},
title = {Models of parallelism / by Todd Heywood, Claudia Loepold.},
year = {1993},
}

@book{alma993514813502466,
author = {Shields, M. W. (Mike W.)},
address = {Edinburgh},
booktitle = {A CCS specification of the OSI network service},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 136-83},
title = {A CCS specification of the OSI network service / by M.W. Shields and M.J. Wray.},
year = {1983},
}

@book{alma993514393502466,
author = {McCaskill, George Alexander.},
address = {Edinburgh},
booktitle = {Interactive ILAP},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 147-83},
title = {Interactive ILAP / by George A. McCaskill.},
year = {1983},
}

@book{alma993514513502466,
author = {De Nicola, Rocco.},
address = {Edinburgh},
booktitle = {Two complete axiom systems for a theory of communicating sequential processes},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 154-83},
title = {Two complete axiom systems for a theory of communicating sequential processes / by Rocco De Nicola.},
year = {1983},
}

@book{alma993514533502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {The power of the future perfect in program logics},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 156-83},
title = {The power of the future perfect in program logics / by Matthew Hennessy and Colin Stirling.},
year = {1983},
}

@book{alma993514013502466,
author = {Habasinski, Z.},
address = {Edinburgh},
booktitle = {On the Blum-Sakoda 7 pebble searching algorithm},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 96-81},
title = {On the Blum-Sakoda 7 pebble searching algorithm / by Z. Habasinski and M. Karpinski.},
year = {1981},
}

@book{alma993514743502466,
author = {Pettorossi, A. (Alberto)},
address = {Edinburgh},
booktitle = {Complete modal theories for verifying communicating agents behaviour in recursive equations programs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 128-83},
title = {Complete modal theories for verifying communicating agents behaviour in recursive equations programs / by A. Pettorossi and A. Skowron.},
year = {1983},
}

@book{alma993514323502466,
author = {Benson, David B.},
address = {Edinburgh},
booktitle = {Counting paths : nondeterminism as linear algebra},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 134-83},
title = {Counting paths : nondeterminism as linear algebra / by David B. Benson.},
year = {1983},
}

@book{alma993514003502466,
author = {Lev, Gavriela.},
address = {Edinburgh},
booktitle = {The size bounds for superconcentrators},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 95-81},
title = {The size bounds for superconcentrators / by G. Lev and L.G. Valiant.},
year = {1981},
}

@book{alma993513693502466,
author = {Barton, E. E.},
address = {Edinburgh},
booktitle = {The polygon package},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 44-79},
title = {The polygon package / by E.E. Barton and I. Buchanan.},
year = {1979},
}

@book{alma993514243502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Families of fixed degree graphs for processor interconnection},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 121-82},
title = {Families of fixed degree graphs for processor interconnection / by Mark Jerrum, Sven Skyum.},
year = {1982},
}

@book{alma993514783502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {A kernel language for algebraic specification and implementation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 131-83},
title = {A kernel language for algebraic specification and implementation / by Donald Sannella and Martin Wirsing.},
year = {1983},
}

@book{alma993514253502466,
author = {Milne, George J.},
address = {Edinburgh},
booktitle = {CIRCAL : a calculus for circuit description},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 122-82},
title = {CIRCAL : a calculus for circuit description / by George J. Milne.},
year = {1982},
}

@book{alma993513943502466,
author = {Jensen, Finn V.},
address = {Edinburgh},
booktitle = {Inductive inference in reflexive domains},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 86-81},
title = {Inductive inference in reflexive domains / by Finn V. Jensen.},
year = {1981},
}

@book{alma993513963502466,
address = {Edinburgh},
booktitle = {GOTOs : a study in the algebraic specification of programming languages},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 89-81},
title = {GOTOs : a study in the algebraic specification of programming languages / by M. Broy [and others].},
year = {1981},
}

@book{alma993513853502466,
author = {Hughes, J. Gordon.},
address = {Edinburgh},
booktitle = {The EDWIN user's guide},
edition = {Third edition.},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 74-80},
title = {The EDWIN user's guide / by J. Gordon Hughes.},
year = {1980},
}

@book{alma993968363502466,
author = {Henderson, Leslie Ann.},
address = {Edinburgh},
booktitle = {Efficient algorithms for listing unlabeled graphs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 7-90},
title = {Efficient algorithms for listing unlabeled graphs / by Leslie Ann Henderson.},
year = {1990},
}

@book{alma993968373502466,
author = {Ross, George D. M.},
address = {Edinburgh},
booktitle = {Guide to the X window system : version 11 ; release 4},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 5-90},
title = {Guide to the X window system : version 11 ; release 4 / by George D.M. Ross.},
year = {1990},
}

@book{alma993257833502466,
author = {Sinclair, Alistair.},
address = {Edinburgh},
booktitle = {Approximate counting, uniform generation and rapidly mixing Markov chains},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 241-87},
title = {Approximate counting, uniform generation and rapidly mixing Markov chains / by Alistair Sinclair and Mark Jerrum.},
year = {1987},
}

@book{alma993257843502466,
author = {Kean, Thomas Andrew.},
address = {Edinburgh},
booktitle = {Configurable logic : an approach to the rapid implementation of ASIC's},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 234-87},
title = {Configurable logic : an approach to the rapid implementation of ASIC's / by Tom Kean and Genbao Feng.},
year = {1987},
}

@book{alma993257943502466,
author = {Marshall, Richard Millar.},
address = {Edinburgh},
booktitle = {OC : a portable Occam compiler ; first pass},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 201-86},
title = {OC : a portable Occam compiler ; first pass / by Richard M. Marshall.},
year = {1986},
}

@book{alma993257603502466,
author = {Brebner, Gordon.},
address = {Edinburgh},
booktitle = {The evolution of the Fred machine},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 246-87},
title = {The evolution of the Fred machine / by Gordon Brebner and Fred King.},
year = {1987},
}

@book{alma993258303502466,
author = {Marshall, Richard Millar.},
address = {Edinburgh},
booktitle = {IE : the reference manual},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 194-85},
title = {IE : the reference manual / by Richard M. Marshall.},
year = {1985},
}

@book{alma993257883502466,
author = {Johnston, Stuart G.},
address = {Edinburgh},
booktitle = {Graphical display of a concurrent device simulation using CIRCAL},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 204-86},
title = {Graphical display of a concurrent device simulation using CIRCAL / by Stuart G. Johnston.},
year = {1986},
}

@book{alma993258213502466,
author = {Blake, Andrew.},
address = {Edinburgh},
booktitle = {Weak continuity constraints in computer vision},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 197-86},
title = {Weak continuity constraints in computer vision / by Andrew Blake and Andrew Zisserman.},
year = {1986},
}

@book{alma993903353502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Polynomial-time approximation algorithms for the Ising model},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 1-90},
title = {Polynomial-time approximation algorithms for the Ising model / by Mark Jerrum and Alistair Sinclair.},
year = {1990},
}

@book{alma994098013502466,
author = {Henderson, Leslie Ann.},
address = {Edinburgh},
booktitle = {Automating Pólya theory : the computational complexity of the cycle index polynomial},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 8-90},
title = {Automating Pólya theory : the computational complexity of the cycle index polynomial / by Leslie Ann Henderson.},
year = {1990},
}

@book{alma993425483502466,
author = {Milne, George J.},
address = {Edinburgh},
booktitle = {Scheduling within a process model of computation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 32-78},
title = {Scheduling within a process model of computation / by George J. Milne.},
year = {1978},
}

@book{alma993425383502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {Negation can be exponentially powerful},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 39-79},
title = {Negation can be exponentially powerful / by Leslie G. Valiant.},
year = {1979},
}

@book{alma993424973502466,
author = {Buchanan, Irene.},
address = {Edinburgh},
booktitle = {Models for structured integrated circuit design},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 48-79},
title = {Models for structured integrated circuit design / by I. Buchanan and J.P. Gray.},
year = {1979},
}

@book{alma993425503502466,
author = {Giles, David A.},
address = {Edinburgh},
booktitle = {The theory of LISTS in LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 31-78},
title = {The theory of LISTS in LCF / by David A. Giles.},
year = {1978},
}

@book{alma993424673502466,
author = {Adams, John Colin.},
address = {Edinburgh},
booktitle = {EMAS performance measurement experiments using a remote terminal emulator},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 57-80},
title = {EMAS performance measurement experiments using a remote terminal emulator / J.C. Adams and A.S. Wight.},
year = {1980},
}

@book{alma993425403502466,
author = {Saheb-Djahromi, N.},
address = {Edinburgh},
booktitle = {Probabilistic CPO's for nondeterminism},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 37-79},
title = {Probabilistic CPO's for nondeterminism / by N. Saheb-Djahromi.},
year = {1979},
}

@book{alma995599553502466,
author = {Robertson, Peter S.},
address = {Edinburgh},
booktitle = {The IMP-77 language : a reference manual},
edition = {First edition: November 1977, Second edition: April 1979, Third edition: November 1980.},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 19-77},
title = {The IMP-77 language : a reference manual / as implemented by Peter S. Robertson.},
year = {1977},
}

@misc{alma996764613502466,
author = {Russo, Claudio V.},
address = {Edinburgh},
booktitle = {Types for modules},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 143-98},
title = {Types for modules / by Claudio V. Russo.},
year = {1998},
}

@misc{alma996764633502466,
author = {Ling, Budi Halim.},
address = {Edinburgh},
booktitle = {Applicative notions in ML-like programs},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 144-98},
title = {Applicative notions in ML-like programs / by Budi Halim Ling.},
year = {1998},
}

@misc{alma996764683502466,
author = {Barber, Andrew Graham.},
address = {Edinburgh},
booktitle = {Linear type theories, semantics and action calculi},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 137-97},
title = {Linear type theories, semantics and action calculi / by Andrew Graham Barber.},
year = {1997},
}

@book{alma998980823502466,
author = {Abramsky, Samson},
address = {Edinburgh},
booktitle = {Fully complete models for ML polymorphic types},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 99-414},
title = {Fully complete models for ML polymorphic types / Samson Abramsky and Marina Lenisa.},
year = {1999},
}

@book{alma9912589443502466,
author = {Adams, John Colin.},
address = {Edinburgh},
booktitle = {Performance measurement on the Edinburgh Multi-Access System},
language = {eng},
publisher = {[Edinburgh University]},
series = {EMAS report ; 7},
title = {Performance measurement on the Edinburgh Multi-Access System / J.C. Adams, G.E. Willard.},
year = {1977},
}

@book{alma9912589303502466,
author = {Whitfield, H.},
address = {Edinburgh},
booktitle = {EMAS : the Edinburgh Multi-Access System},
language = {eng},
publisher = {[Edinburgh University]},
series = {EMAS report ; 1},
title = {EMAS : the Edinburgh Multi-Access System / H. Whitfield and A.S. Wight.},
year = {1977 - 1973},
}

@book{alma993424033502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {The complexity of enumeration and reliability problems},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 15-77},
title = {The complexity of enumeration and reliability problems / by Leslie G. Valiant.},
year = {1977},
}

@book{alma993423933502466,
author = {Ritchie, Graeme D.},
address = {Edinburgh},
booktitle = {Augmented transition network grammars and semantic processing},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 20-78},
title = {Augmented transition network grammars and semantic processing / by Graeme D. Ritchie.},
year = {1978},
}

@book{alma993423633502466,
author = {Atkinson, M. P.},
address = {Edinburgh},
booktitle = {Programming languages and databases},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 26-78},
title = {Programming languages and databases / by Malcolm P. Atkinson.},
year = {1978},
}

@book{alma993424053502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {The complexity of computing the permanent},
edition = {Revised edition.},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 14-77},
title = {The complexity of computing the permanent / by Leslie G. Valiant.},
year = {1977},
}

@book{alma993424263502466,
author = {Casey, Liam Maurice.},
address = {Edinburgh},
booktitle = {A domain structure for distributed computer systems},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 8-77},
title = {A domain structure for distributed computer systems / by L. Casey and N. Shelness.},
year = {1977},
}

@book{alma993424073502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {Graph-theoretic arguments in low-level complexity},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 13-77},
title = {Graph-theoretic arguments in low-level complexity / by Leslie G. Valiant.},
year = {1977},
}

@book{alma993423553502466,
author = {Dewar, Hamish.},
address = {Edinburgh},
booktitle = {HAL 70 : a high level assembly language for Interdata series 70 mini-computers},
edition = {Third edition / revised by Jeffrey Tansley.},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 29-78},
title = {HAL 70 : a high level assembly language for Interdata series 70 mini-computers / by Hamish Dewar.},
year = {1978},
}

@book{alma993424623502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Some exact complexity results for straight-line computations over semirings},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 58-80},
title = {Some exact complexity results for straight-line computations over semirings / by Mark Jerrum and Marc Snir.},
year = {1980},
}

@book{alma993423603502466,
author = {Casey, Liam Maurice.},
address = {Edinburgh},
booktitle = {On kernels for distributed computer systems},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 27-78},
title = {On kernels for distributed computer systems / by Liam Maurice Casey.},
year = {1978},
}

@book{alma993258973502466,
author = {Deas, Alexander Roger.},
address = {Edinburgh},
booktitle = {An extremal connectivity metric for partitioning VLSI designs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 183-85},
title = {An extremal connectivity metric for partitioning VLSI designs / by Alex R. Deas.},
year = {1985},
}

@book{alma993259383502466,
author = {Costa, Gerardo.},
address = {Edinburgh},
booktitle = {Weak and strong fairness in CCS},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 167-85},
title = {Weak and strong fairness in CCS / by Gerardo Costa and Colin Stirling.},
year = {1985},
}

@book{alma993258963502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Specifications in an arbitrary institution},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 184-85},
title = {Specifications in an arbitrary institution / by Donald Sannella and Andrzej Tarlecki.},
year = {1985},
}

@book{alma993258923502466,
author = {Blake, Andrew.},
address = {Edinburgh},
booktitle = {Using weak continuity constraints : what they are, and how they do it},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 186-85},
title = {Using weak continuity constraints : what they are, and how they do it / by A. Blake and A. Zisserman.},
year = {1985},
}

@book{alma993259253502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {On observational equivalence and algebraic specification},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 172-84},
title = {On observational equivalence and algebraic specification / by Donald Sannella and Andrzej Tarlecki.},
year = {1984},
}

@book{alma993259423502466,
author = {Cole, Murray Irwin.},
address = {Edinburgh},
booktitle = {Partitioning programmable logic arrays},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 166-84},
title = {Partitioning programmable logic arrays / by Murray I. Cole.},
year = {1984},
}

@book{alma993259213502466,
author = {Milne, George J.},
address = {Edinburgh},
booktitle = {Simulation and verification : related techniques for hardware analysis},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 174-84},
title = {Simulation and verification : related techniques for hardware analysis / by George J. Milne.},
year = {1984},
}

@book{alma993514853502466,
author = {Milne, George J.},
address = {Edinburgh},
booktitle = {A formal basis for the analysis of circuit timing},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 138-83},
title = {A formal basis for the analysis of circuit timing / by George J. Milne.},
year = {1983},
}

@book{alma993514983502466,
author = {Milne, George J.},
address = {Edinburgh},
booktitle = {CIRCAL and the representation of communication, concurrency and time},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 151-83},
title = {CIRCAL and the representation of communication, concurrency and time / by George J. Milne.},
year = {1983},
}

@book{alma993515003502466,
author = {Marshall, Richard Millar.},
address = {Edinburgh},
booktitle = {SCALE : a language for VLSI design},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 158-84},
title = {SCALE : a language for VLSI design / by Richard M. Marshall, Irene Buchanan.},
year = {1984},
}

@book{alma994410543502466,
author = {Rogers, D. J.},
address = {Edinburgh},
booktitle = {Design of a Bit-sliced network for a shared-memory multiprocessor system},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 19-92},
title = {Design of a Bit-sliced network for a shared-memory multiprocessor system / by D.J. Rogers and R.N. Ibbett.},
year = {1992},
}

@book{alma9912580873502466,
author = {Schmidt, David A.},
address = {Edinburgh},
booktitle = {Denotational semantics as a programming language},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 100-82},
title = {Denotational semantics as a programming language / by David A. Schmidt.},
year = {1982},
}

@book{alma9912581083502466,
author = {Smyth, M. B.},
address = {Edinburgh},
booktitle = {The largest Cartesian closed category of domains},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 108-82},
title = {The largest Cartesian closed category of domains / by M. B. Smyth.},
year = {1982},
}

@book{alma9912581073502466,
author = {Smyth, M. B.},
address = {Edinburgh},
booktitle = {Finitary relations and the fair merge},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 107-82},
title = {Finitary relations and the fair merge / by M. B. Smyth.},
year = {1982},
}

@book{alma995597863502466,
author = {Päppinghaus, P.},
address = {Edinburgh},
booktitle = {Nondeterministic partial logic : isotonic and guarded truth-functions},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 83-81},
title = {Nondeterministic partial logic : isotonic and guarded truth-functions / by P.Päppinghaus, M. Wirsing.},
year = {1981},
}

@book{alma995597443502466,
author = {De Nicola, Rocco.},
address = {Edinburgh},
booktitle = {Testing equivalences for processes},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 123-82},
title = {Testing equivalences for processes / by R. de Nicola, M.C.B. Hennessy.},
year = {1982},
}

@book{alma995597263502466,
author = {Schmidt, David A.},
address = {Edinburgh},
booktitle = {Syntactic type checking using Scott retraction maps},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 112-82},
title = {Syntactic type checking using Scott retraction maps / by David A. Schmidt.},
year = {1982},
}

@book{alma995597353502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Implementation of parameterised specifications},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 103-82},
title = {Implementation of parameterised specifications / by Donald Sannella, Martin Wirsing.},
year = {1982},
}

@misc{alma996764123502466,
author = {Escardó, Martín Hötzel.},
address = {Edinburgh},
booktitle = {PCF extended with real numbers : a domain-theoretic approach to higher-order exact real number computation},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 138-97},
title = {PCF extended with real numbers : a domain-theoretic approach to higher-order exact real number computation / by Martín Hötzel EscardÓ.},
year = {1997},
}

@book{alma999991553502466,
author = {Appel, Andrew W.},
address = {London},
booktitle = {A standard ML compiler},
language = {eng},
publisher = {Imperial College},
series = {ML Library ; 026},
title = {A standard ML compiler / Andrew W. Appel, David B. MacQueen.},
year = {1987},
}

@book{alma999991793502466,
author = {Finn, Simon.},
address = {Edinburgh},
booktitle = {The Poly/ ML environment},
language = {eng},
publisher = {[University of Edinburgh]},
series = {ML Library ; 032},
title = {The Poly/ ML environment  / S. Finn, M.P. Fourman.},
year = {1988},
}

@book{alma999629613502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Fast uniform generation of regular graphs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 281-88},
title = {Fast uniform generation of regular graphs / by Mark Jerrum and Alistair Sinclair.},
year = {1998},
}

@book{alma994470683502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {Modal and temporal logics for proceses},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-221},
title = {Modal and temporal logics for proceses / by Colin Stirling.},
year = {1992},
}

@book{alma994470563502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {Unlimp uniqueness as a leitmotiv for implementation},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-219},
title = {Unlimp uniqueness as a leitmotiv for implementation / by Stefan Kahrs.},
year = {1992},
}

@book{alma994470533502466,
author = {Dam, Mads.},
address = {Edinburgh},
booktitle = {Fixpoints of Büchi automata},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-224},
title = {Fixpoints of Büchi automata / by Mads Dam.},
year = {1992},
}

@book{alma994742203502466,
author = {Janc̆ar, Petr.},
address = {Edinburgh},
booktitle = {Decidability questions for bisimilarity of Petri nets and some related problems},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-261},
title = {Decidability questions for bisimilarity of Petri nets and some related problems / by Petr Janc̆ar.},
year = {1993},
}

@book{alma994422783502466,
author = {Phoa, Wesley.},
address = {Edinburgh},
booktitle = {An introduction to fibrations, topos theory, the effective topos and modest sets},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-208},
title = {An introduction to fibrations, topos theory, the effective topos and modest sets / by Wesley Phoa.},
year = {1992},
}

@book{alma994422763502466,
author = {Phoa, Wesley.},
address = {Edinburgh},
booktitle = {From term models to domains},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-214},
title = {From term models to domains / by Wesley Phoa.},
year = {1992},
}

@book{alma994422743502466,
author = {Goldberg, Leslie Ann.},
address = {Edinburgh},
booktitle = {Listing graphs that satisfy first order sentences},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-210},
title = {Listing graphs that satisfy first order sentences / by Leslie Ann Goldberg.},
year = {1992},
}

@book{alma994422753502466,
author = {Phoa, Wesley.},
address = {Edinburgh},
booktitle = {Building domains from graph models},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-215},
title = {Building domains from graph models / by Wesley Phoa.},
year = {1992},
}

@book{alma994422733502466,
author = {Dam, Mads.},
address = {Edinburgh},
booktitle = {Process-algebraic interpretations of positive linear and relevant logics},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-216},
title = {Process-algebraic interpretations of positive linear and relevant logics / by Mads Dam.},
year = {1992},
}

@book{alma994422723502466,
author = {Dam, Mads.},
address = {Edinburgh},
booktitle = {CTL* and ECTL* as fragments of the modal [mu]-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-217},
title = {CTL* and ECTL* as fragments of the modal [mu]-calculus / by Mads Dam.},
year = {1992},
}

@book{alma994399333502466,
author = {Bradfield, Julian Charles.},
address = {Edinburgh},
booktitle = {A proof assistant for symbolic model-checking},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-199},
title = {A proof assistant for symbolic model-checking / by J.C. Bradfield.},
year = {1992},
}

@book{alma994399323502466,
author = {Rasmussen, Lars Eilstrup.},
address = {Edinburgh},
booktitle = {Approximating the permanent : a simple approach},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-201},
title = {Approximating the permanent : a simple approach / by Lars Eilstrup Rasmussen.},
year = {1992},
}

@book{alma994399313502466,
author = {Pierce, Benjamin C.},
address = {Edinburgh},
booktitle = {Intersection types and bounded polymorphism},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-200},
title = {Intersection types and bounded polymorphism / by Benjamin C. Pierce.},
year = {1992},
}

@book{alma995322553502466,
author = {Mitchell, Kevin.},
address = {Edinburgh},
booktitle = {Concurrency in a natural semantics},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-311},
title = {Concurrency in a natural semantics / by Kevin Mitchell.},
year = {1994},
}

@book{alma995322433502466,
author = {Esparza, Javier.},
address = {Edinburgh},
booktitle = {Decidability of model checking for infinite-state concurrent systems},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-302},
title = {Decidability of model checking for infinite-state concurrent systems / by Javier Esparza.},
year = {1994},
}

@book{alma995322743502466,
author = {Sangiorgi, Davide.},
address = {Edinburgh},
booktitle = {On the bisimulation proof method},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-299},
title = {On the bisimulation proof method / by Davide Sangiorgi.},
year = {1994},
}

@book{alma995322463502466,
author = {Hirshfeld, Yoram.},
address = {Edinburgh},
booktitle = {Deciding equivalences in simple process algebras},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-294},
title = {Deciding equivalences in simple process algebras / by Yoram Hirshfeld.},
year = {1994},
}

@book{alma995322773502466,
author = {Kaivola, Roope.},
address = {Edinburgh},
booktitle = {On modal mu-calculus and Büchi tree automata},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-293},
title = {On modal mu-calculus and Büchi tree automata / by Roope Kaivola.},
year = {1994},
}

@book{alma995322453502466,
author = {Hirshfeld, Yoram.},
address = {Edinburgh},
booktitle = {Congruences in commutative semigroups},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-291},
title = {Congruences in commutative semigroups / by Yoram Hirshfeld.},
year = {1994},
}

@book{alma995322703502466,
author = {Pritchard, Paul.},
address = {Edinburgh},
booktitle = {On computing the subset graph of a collection of sets},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-309},
title = {On computing the subset graph of a collection of sets / by Paul Pritchard.},
year = {1994},
}

@book{alma995322693502466,
author = {Mitchell, Kevin.},
address = {Edinburgh},
booktitle = {Multiple values in Standard ML},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-312},
title = {Multiple values in Standard ML / by Kevin Mitchell.},
year = {1994},
}

@book{alma995322733502466,
author = {Pritchard, Paul.},
address = {Edinburgh},
booktitle = {An old sub-quadratic algorithm for finding extremal sets},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-301},
title = {An old sub-quadratic algorithm for finding extremal sets / by Paul Pritchard.},
year = {1994},
}

@book{alma995322513502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {The computational complexity of counting},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-296},
title = {The computational complexity of counting / by Mark Jerrum.},
year = {1994},
}

@book{alma995322503502466,
author = {Janc̆ar, Petr.},
address = {Edinburgh},
booktitle = {High undecidability of weak bisimilarity for petri nets},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-298},
title = {High undecidability of weak bisimilarity for petri nets / by Petr Janc̆ar.},
year = {1994},
}

@book{alma993815113502466,
author = {Moller, Faron.},
address = {Edinburgh},
booktitle = {The nonexistence of finite axiomatisations for CCS congruences},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-97},
title = {The nonexistence of finite axiomatisations for CCS congruences / by Faron Moller.},
year = {1989},
}

@book{alma994743613502466,
author = {Pym, David J.},
address = {Edinburgh},
booktitle = {Errata and remarks},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-265},
title = {Errata and remarks / by David J. Pym.},
year = {1993},
}

@book{alma994743563502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Uniform sampling modulo a group of symmetries using Markov chain simulation},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECSS-LFCS-93-272},
title = {Uniform sampling modulo a group of symmetries using Markov chain simulation / by Mark Jerrum.},
year = {1993},
}

@book{alma994743653502466,
author = {Sangiorgi, Davide.},
address = {Edinburgh},
booktitle = {A theory of bisimulation for the [pi]-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-270},
title = {A theory of bisimulation for the [pi]-calculus / by Davide Sangiori.},
year = {1993},
}

@book{alma994743643502466,
author = {Hüttel, Hans.},
address = {Edinburgh},
booktitle = {Undecidable equivalences for basic parallel processes},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-276},
title = {Undecidable equivalences for basic parallel processes / by Hans Hüttel.},
year = {1993},
}

@book{alma994254843502466,
author = {Miller, Dale.},
address = {Edinburgh},
booktitle = {A logic programming language with Lambda-abstraction, function variables, and simple unification},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-159},
title = {A logic programming language with Lambda-abstraction, function variables, and simple unification / by Dale Miller.},
year = {1991},
}

@book{alma994254853502466,
author = {Miller, Dale.},
address = {Edinburgh},
booktitle = {Unification of simply typed Lambda-terms as logic programming},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-160},
title = {Unification of simply typed Lambda-terms as logic programming / by Dale Miller.},
year = {1991},
}

@book{alma994254863502466,
author = {Bellin, Gianluigi.},
address = {Edinburgh},
booktitle = {Proof nets for multiplicative and additive linear logic},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-161},
title = {Proof nets for multiplicative and additive linear logic / by Gianluigi Bellin.},
year = {1991},
}

@book{alma994254833502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {Modal and temporal logics},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-157},
title = {Modal and temporal logics / by Colin Stirling.},
year = {1991},
}

@book{alma994254873502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {An analysis of a Monte Carlo algorithm for estimating the permanent},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-164},
title = {An analysis of a Monte Carlo algorithm for estimating the permanent / by Mark Jerrum.},
year = {1991},
}

@book{alma994848153502466,
author = {Power, A. J.},
address = {Edinburgh},
booktitle = {Why tricategories?},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-289},
title = {Why tricategories? / by A.J. Power.},
year = {1994},
}

@book{alma994848263502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {A very simple algorithm for estimating the number of k-colourings of a low-degree graph},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-290},
title = {A very simple algorithm for estimating the number of k-colourings of a low-degree graph / by Mark Jerrum.},
year = {1994},
}

@book{alma994848173502466,
author = {Burns, Glenn.},
address = {Edinburgh},
booktitle = {Applying process refinement to a safety-relevant system},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-287},
title = {Applying process refinement to a safety-relevant system / by Glenn Burns.},
year = {1994},
}

@book{alma994848243502466,
author = {Sangiorgi, Davide.},
address = {Edinburgh},
booktitle = {Locality and non-interleaving semantics in calculi for mobile processes},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-282},
title = {Locality and non-interleaving semantics in calculi for mobile processes / by Davide Sangiorgi.},
year = {1994},
}

@book{alma994848213502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {First-class polymorphisms for ML},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-284},
title = {First-class polymorphisms for ML / by Stefan Kahrs.},
year = {1994},
}

@book{alma994848403502466,
author = {Compagnoni, Adriana B.},
address = {Edinburgh},
booktitle = {Subtyping in [F-omega-meet] is decidable},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-281},
title = {Subtyping in [F-omega-meet] is decidable / by Adriana B. Compagnoni.},
year = {1994},
}

@book{alma994129303502466,
author = {Da Silva, Fabio.},
address = {Edinburgh},
booktitle = {Towards a formal framework for evaluation of operational semantics specifications},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-126},
title = {Towards a formal framework for evaluation of operational semantics specifications / by Fabio da Silva.},
year = {1990},
}

@book{alma994742153502466,
author = {Esparza, Javier.},
address = {Edinburgh},
booktitle = {On the decidability of model checking for several [mu]-calculi and Petri nets},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-274},
title = {On the decidability of model checking for several [mu]-calculi and Petri nets / by Javier Esparza.},
year = {1993},
}

@book{alma994742143502466,
author = {Duggan, Angus.},
address = {Edinburgh},
booktitle = {Literate programming : a review},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-263},
title = {Literate programming : a review / by Angus Duggan.},
year = {1993},
}

@book{alma994742163502466,
author = {Gardner, Philippa.},
address = {Edinburgh},
booktitle = {Equivalences between logics and their representing type theories},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-251},
title = {Equivalences between logics and their representing type theories / by Philippa Gardner.},
year = {1993},
}

@book{alma994335773502466,
author = {Power, A. J.},
address = {Edinburgh},
booktitle = {An n-categorical pasting theorem},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-190},
title = {An n-categorical pasting theorem / by A.J. Power.},
year = {1991},
}

@book{alma994335783502466,
author = {Sangiorgi, Davide.},
address = {Edinburgh},
booktitle = {The lazy lambda calculus in a concurrency scenario},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-189},
title = {The lazy lambda calculus in a concurrency scenario / by Davide Sangiorgi.},
year = {1991},
}

@book{alma994034543502466,
author = {Farrés-Casals, Jordi.},
address = {Edinburgh},
booktitle = {Proving correctness w.r.t. specifications with hidden parts},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-117},
title = {Proving correctness w.r.t. specifications with hidden parts / by Jordi Farrés-Casals.},
year = {1990},
}

@book{alma994491933502466,
author = {Burns, Glenn.},
address = {Edinburgh},
booktitle = {A case study in safety-critical design},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-239},
title = {A case study in safety-critical design / by Glenn Burns.},
year = {1992},
}

@book{alma994492033502466,
author = {Pym, David J.},
address = {Edinburgh},
booktitle = {A unification algorithm for the [lambda pi]-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-229},
title = {A unification algorithm for the [lambda pi]-calculus / by David J. Pym.},
year = {1992},
}

@book{alma994492523502466,
author = {Altenkirch, Thorsten.},
address = {Edinburgh},
booktitle = {Brewing strong normalization proofs with LEGO},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-230},
title = {Brewing strong normalization proofs with LEGO / by Thorsten Altenkirch.},
year = {1992},
}

@book{alma994491993502466,
author = {Rothwell, Nicholas John.},
address = {Edinburgh},
booktitle = {Functional compilation from the standard ML core language to lambda calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-235},
title = {Functional compilation from the standard ML core language to lambda calculus / by Nick Rothwell.},
year = {1992},
}

@book{alma994491943502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {Polymorphic type checking by interpretation of code},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-238},
title = {Polymorphic type checking by interpretation of code / by Stefan Kahrs.},
year = {1992},
}

@book{alma993903303502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {Extending properties to categories of partial maps},
keywords = {Categories (Mathematics)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-107},
title = {Extending properties to categories of partial maps / by C. Barry Jay.},
year = {1990},
}

@book{alma993903293502466,
author = {Morley, Matthew J.},
address = {Edinburgh},
booktitle = {Tactics for state space reduction on the concurrency workbench},
keywords = {Parallel processing (Electronic computers)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-109},
title = {Tactics for state space reduction on the concurrency workbench / by Matthew J. Morley.},
year = {1990},
}

@book{alma993903323502466,
author = {Tofts, Chris (Christopher Maurice Neville)},
address = {Edinburgh},
booktitle = {Relative frequency in a synchronous calculus},
keywords = {Sequential processing (Computer science)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-108},
title = {Relative frequency in a synchronous calculus / by Chris Tofts.},
year = {1990},
}

@book{alma994492533502466,
author = {Hofmann, Martin.},
address = {Edinburgh},
booktitle = {Formal development of functional programs in type theory : a case study},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-228},
title = {Formal development of functional programs in type theory : a case study / by Martin Hofmann.},
year = {1992},
}

@book{alma994491973502466,
author = {Rothwell, Nicholas John.},
address = {Edinburgh},
booktitle = {Parsing in the SML kit},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-236},
title = {Parsing in the SML kit / by Nick Rothwell.},
year = {1992},
}

@book{alma994491963502466,
author = {Rothwell, Nicholas John.},
address = {Edinburgh},
booktitle = {Miscellaneous design issues in the ML kit},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-237},
title = {Miscellaneous design issues in the ML kit / by Nick Rothwell.},
year = {1992},
}

@book{alma994098043502466,
author = {Dam, Mads.},
address = {Edinburgh},
booktitle = {Translating CTL* into the modal mu-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-123},
title = {Translating CTL* into the modal mu-calculus / by Mads Dam.},
year = {1990},
}

@book{alma994410493502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {Tail recursion through universal invariants},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-205},
title = {Tail recursion through universal invariants / by C. Barry Jay.},
year = {1992},
}

@book{alma994129293502466,
author = {Tofts, Chris (Christopher Maurice Neville)},
address = {Edinburgh},
booktitle = {The autosynchronisation of Leptothorax Acervorum (Fabricius) described in WSCCS},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-128},
title = {The autosynchronisation of Leptothorax Acervorum (Fabricius) described in WSCCS / by Chris Tofts.},
year = {1990},
}

@book{alma995955403502466,
author = {Steckler, Paul.},
address = {Edinburgh},
booktitle = {Detecting local channels in distributed Poly/ML},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 96-340},
title = {Detecting local channels in distributed Poly/ML / by Paul Steckler.},
year = {1996},
}

@book{alma995955503502466,
author = {Barber, Andrew Graham.},
address = {Edinburgh},
booktitle = {Dual intuitionistic linear logic},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 96-347},
title = {Dual intuitionistic linear logic / Andrew Barber.},
year = {1996},
}

@book{alma995955493502466,
author = {Russo, Claudio V.},
address = {Edinburgh},
booktitle = {Standard ML type generativity as existential quantification},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 96-344},
title = {Standard ML type generativity as existential quantification / by Claudio V. Russo.},
year = {1996},
}

@book{alma995955563502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {Decidability of bisimulation equivalence for normed pushdown processes},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 97-352},
title = {Decidability of bisimulation equivalence for normed pushdown processes / by Colin Stirling.},
year = {1997},
}

@book{alma9911203593502466,
author = {Berry, Dave.},
address = {Edinburgh},
booktitle = {The Edinburgh SML Library},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-148},
title = {The Edinburgh SML Library / by Dave Berry.},
year = {1991},
}

@book{alma994192923502466,
author = {Tofts, Chris (Christopher Maurice Neville)},
address = {Edinburgh},
booktitle = {Task allocation in monomorphic ant species},
keywords = {Ants -- Behavior -- Mathematical models},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-144},
title = {Task allocation in monomorphic ant species / by Chris Tofts.},
year = {1991},
}

@book{alma994310033502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {Fixpoint and loop constructions as colimits},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-182},
title = {Fixpoint and loop constructions as colimits / by C. Barry Jay.},
year = {1991},
}

@book{alma994310003502466,
author = {Chen, Liang.},
address = {Edinburgh},
booktitle = {Decidability and completeness in real-time processes},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-185},
title = {Decidability and completeness in real-time processes / by Liang Chen.},
year = {1991},
}

@book{alma994310023502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {Coherence in category theory and the Church-Rosser property},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-181},
title = {Coherence in category theory and the Church-Rosser property / by C. Barry Jay.},
year = {1991},
}

@book{alma994310013502466,
author = {Chen, Liang.},
address = {Edinburgh},
booktitle = {An interleaving model for real-time systems},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-184},
title = {An interleaving model for real-time systems / by Liang Chen.},
year = {1991},
}

@book{alma994309983502466,
author = {Hüttel, Hans.},
address = {Edinburgh},
booktitle = {Silence is golden : branching bisimilarity is decidable for context-free processes},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-173},
title = {Silence is golden : branching bisimilarity is decidable for context-free processes / by Hans Hüttel.},
year = {1991},
}

@book{alma994309993502466,
author = {Morley, M. J.},
address = {Edinburgh},
booktitle = {Modelling British Rail's interlocking logic : geographic data correctness},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-186},
title = {Modelling British Rail's interlocking logic : geographic data correctness / by M.J. Morley.},
year = {1991},
}

@book{alma994309953502466,
author = {Kazmierczak, Edmund.},
address = {Edinburgh},
booktitle = {Modularizing the specification of a small database system in Extended ML},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-91-177},
title = {Modularizing the specification of a small database system in Extended ML / by Edmund Kazmierczak.},
year = {1991},
}

@book{alma994310063502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {Long [Beta Eta] normal forms and confluence},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-183},
title = {Long [Beta Eta] normal forms and confluence / by C. Barry Jay.},
year = {1991},
}

@book{alma995327543502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {Towards a domain theory for termination proofs},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-314},
title = {Towards a domain theory for termination proofs / by Stefan Kahrs.},
year = {1995},
}

@book{alma995327333502466,
author = {Underwood, Judith.},
address = {Edinburgh},
booktitle = {Tableau for intuitionistic predicate logic as metatheory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-321},
title = {Tableau for intuitionistic predicate logic as metatheory / by Judith Underwood.},
year = {1995},
}

@book{alma995327433502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Computational Pólya theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-317},
title = {Computational Pólya theory / by Mark Jerrum.},
year = {1995},
}

@book{alma995327363502466,
author = {Underwood, Judith.},
address = {Edinburgh},
booktitle = {Typing abstract data types},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-320},
title = {Typing abstract data types / by Judith Underwood.},
year = {1995},
}

@book{alma995327463502466,
author = {Kaivola, Roope.},
address = {Edinburgh},
booktitle = {Axiomatising linear time mu-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-324},
title = {Axiomatising linear time mu-calculus / by Roope Kaivola.},
year = {1995},
}

@book{alma995327493502466,
author = {Steckler, Paul.},
address = {Edinburgh},
booktitle = {Correct separate and selective closure conversion},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-315},
title = {Correct separate and selective closure conversion / by Paul Steckler.},
year = {1995},
}

@book{alma995327383502466,
author = {Fourman, Michael P.},
address = {Edinburgh},
booktitle = {Proof and design},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-319},
title = {Proof and design / by Michael P. Fourman.},
year = {1995},
}

@book{alma994098313502466,
author = {Walker, David.},
address = {Edinburgh},
booktitle = {[Pi]-calculus semantics of object-oriented programming languages},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-122},
title = {[Pi]-calculus semantics of object-oriented programming languages / by David Wlaker.},
year = {1990},
}

@book{alma994359223502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {Modelling reduction in confluent categories},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-187},
title = {Modelling reduction in confluent categories / by C. Barry Jay.},
year = {1991},
}

@book{alma994220723502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {Tail recursion via universal invariants},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-151},
title = {Tail recursion via universal invariants / by C. Barry Jay.},
year = {1991},
}

@book{alma993915173502466,
author = {Moggi, Eugenio.},
address = {Edinburgh},
booktitle = {An abstract view of programming languages},
keywords = {Category theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-113},
title = {An abstract view of programming languages / by Eugenio Moggi.},
year = {1990},
}

@book{alma993285073502466,
author = {Huimin, Lin.},
address = {Edinburgh},
booktitle = {Relative completeness in algebraic specifications},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-43},
title = {Relative completeness in algebraic specifications / by Lin Huimin.},
year = {1987},
}

@book{alma994635463502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {Mistakes and ambiguities in the definition of Standard ML},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-257},
title = {Mistakes and ambiguities in the definition of Standard ML / by Setfan Kahrs.},
year = {1993},
}

@book{alma993628173502466,
author = {Tofte, Mads.},
address = {Edinburgh},
booktitle = {Four lectures on standard ML},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-73},
title = {Four lectures on standard ML / by Mads Tofte.},
year = {1989},
}

@book{alma996763463502466,
author = {McAdam, Bruce J.},
address = {Edinburgh},
booktitle = {On the unification of subsitutions in type-inference},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 98-384},
title = {On the unification of subsitutions in type-inference / by Bruce J. McAdams.},
year = {1998},
}

@book{alma996763563502466,
author = {Loader, Ralph.},
address = {Edinburgh},
booktitle = {Notes on simply typed lambda calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 98-381},
title = {Notes on simply typed lambda calculus / by Ralph Loader.},
year = {1998},
}

@book{alma996763603502466,
author = {Gilmore, Stephen.},
address = {Edinburgh},
booktitle = {Programming in Standard ML'97 : a tutorial introduction},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 97-364},
title = {Programming in Standard ML'97 : a tutorial introduction / Stephen Gilmore.},
year = {1997},
}

@book{alma996763413502466,
author = {McAdam, Bruce J.},
address = {Edinburgh},
booktitle = {That about wraps it up : Using FIX to handle errors without exceptions, and other programming tricks},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 97-375},
title = {That about wraps it up : Using FIX to handle errors without exceptions, and other programming tricks / by Bruce J. McAdams.},
year = {1997},
}

@book{alma995962523502466,
author = {Walker, David.},
address = {Edinburgh},
booktitle = {Introduction to a calculus of communicating systems},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-22},
title = {Introduction to a calculus of communicating systems / by David Walker.},
year = {1987},
}

@book{alma994848123502466,
author = {Hexsel, Roberto A. (Roberto Andre)},
address = {Edinburgh},
booktitle = {The performance of SCI memory hierarchies},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 30-94},
title = {The performance of SCI memory hierarchies / by Roberto A. Hexsel and Nigel P. Topham.},
year = {1994},
}

@book{alma994742123502466,
author = {Heywood, Todd.},
address = {Edinburgh},
booktitle = {The performance of Barnes-Hut N-body simulation in the abstract},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 27-93},
title = {The performance of Barnes-Hut N-body simulation in the abstract / by Todd Heywood, Krishan Mehrotra, Sanjay Ranka.},
year = {1993},
}

@book{alma993514113502466,
author = {Atkinson, M. P.},
address = {Edinburgh},
booktitle = {CMS : a chunk management system},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 110-82},
title = {CMS : a chunk management system / by M.P. Atkinson, K.J. Chisholm & W.P. Cockshott.},
year = {1982},
}

@book{alma993514633502466,
author = {Hepp, Pedro E.},
address = {Edinburgh},
booktitle = {A DBS architecture supporting coexisting user interfaces : description and examples},
language = {eng},
publisher = {University of Edinburgh},
series = {PPR-6-83},
title = {A DBS architecture supporting coexisting user interfaces : description and examples / by Pedro E. Hepp.},
year = {1983},
}

@book{alma993514033502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Algebras, theories and freeness : an introduction for computer scientists},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 101-82},
title = {Algebras, theories and freeness : an introduction for computer scientists / by R.M. Burstall and J.A. Goguen.},
year = {1982},
}

@book{alma993514573502466,
author = {MacQueen, David B.},
address = {Edinburgh},
booktitle = {Completeness of proof systems for equational specifications},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 160-84},
title = {Completeness of proof systems for equational specifications / by David B. MacQueen and Donald T. Sannella.},
year = {1984},
}

@book{alma993514773502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Structured theories in LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 129-83},
title = {Structured theories in LCF / by D.T. Sannella and R.M. Burstall.},
year = {1983},
}

@book{alma993770183502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {When is a graphical sequence stable?},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 309-89},
title = {When is a graphical sequence stable? / by Mark Jerrum, Brendan McKay and Alistair Sinclair.},
year = {1989},
}

@book{alma993258363502466,
author = {Rydeheard, David Eric.},
address = {Edinburgh},
booktitle = {The unification of terms : a category-theoretic algorithm},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 192-85},
title = {The unification of terms : a category-theoretic algorithm / by D.E. Rydeheard and R.M. Burstall.},
year = {1985},
}

@book{alma993258443502466,
author = {Hepp, Pedro E.},
address = {Edinburgh},
booktitle = {RAQUEL user manual},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 188-85},
title = {RAQUEL user manual / by Pedro Hepp and Moira Norrie.},
year = {1985},
}

@book{alma993257973502466,
author = {Davie, Bruce S.},
address = {Edinburgh},
booktitle = {The role of behaviour in VLSI design languages},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 199-86},
title = {The role of behaviour in VLSI design languages / by B.S. Davie and G.J. Milne.},
year = {1986},
}

@book{alma993425463502466,
author = {Atkinson, M. P.},
address = {Edinburgh},
booktitle = {A uniform, modular structure for databases and programs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 33-78},
title = {A uniform, modular structure for databases and programs / by Malcolm Atkinson, Jenny Martin and Mick Jordan.},
year = {1978},
}

@book{alma9912589363502466,
author = {Shelness, N. H.},
address = {Edinburgh},
booktitle = {The Edinburgh Multi-Access System  scheduling and allocation procedures in the resident supervisor},
language = {eng},
publisher = {[Edinburgh University]},
series = {EMAS report ; 4},
title = {The Edinburgh Multi-Access System  scheduling and allocation procedures in the resident supervisor / N.H. Shelness, P.D. Stephens, H. Whitfield.},
year = {1977},
}

@book{alma9912589343502466,
author = {Millard, G. E.},
address = {Edinburgh},
booktitle = {The standard EMAS subsystem},
language = {eng},
publisher = {[Edinburgh University]},
series = {EMAS report ; 3},
title = {The standard EMAS subsystem / G.E. Millard, D.J. Rees and H. Whitfield.},
year = {1977},
}

@book{alma993259143502466,
author = {Mosses, Peter D.},
address = {Edinburgh},
booktitle = {On proving limiting completeness},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 177-84},
title = {On proving limiting completeness / by Peter D. Mosses and Gordon D. Plotkin.},
year = {1984},
}

@book{alma9912580793502466,
author = {Skyum, Sven},
address = {Edinburgh},
booktitle = {A complexity theory based on Boolean algebra},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 97-82},
title = {A complexity theory based on Boolean algebra / by S. Skyum and L. G. Valiant.},
year = {1982},
}

@book{alma995597333502466,
author = {Smyth, M. B.},
address = {Edinburgh},
booktitle = {The category-theoretic solution of recursive domain equations},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 102-82},
title = {The category-theoretic solution of recursive domain equations / by M.B. Smyth and G.D. Plotkin.},
year = {1982},
}

@book{alma993257803502466,
author = {Pooley, R. J.},
address = {Edinburgh},
booktitle = {Improved methods for performance engineering},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 253-88},
title = {Improved methods for performance engineering / R.J. Pooley and M.W. Brown.},
year = {1988},
}

@book{alma993257543502466,
author = {Pooley, R. J.},
address = {Edinburgh},
booktitle = {A diagramming paradigm for hierarchical process oriented discrete event simulation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 254-88},
title = {A diagramming paradigm for hierarchical process oriented discrete event simulation / by R.J. Pooley and M.W. Brown.},
year = {1988},
}

@book{alma994742183502466,
author = {Goossens, K. G. W.},
address = {Edinburgh},
booktitle = {The formalisation of a hardware description language in a proof system : motivation and applications},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-269},
title = {The formalisation of a hardware description language in a proof system : motivation and applications / by K.G.W. Goossens.},
year = {1993},
}

@book{alma994399303502466,
author = {Luo, Zhaohui.},
address = {Edinburgh},
booktitle = {A unifying theory of dependent types : the schematic approach},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-202},
title = {A unifying theory of dependent types : the schematic approach / by Zhaohui Luo.},
year = {1992},
}

@book{alma994743633502466,
author = {Tennent, R. D.},
address = {Edinburgh},
booktitle = {Correctness of data representations in Algol-like languages},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-267},
title = {Correctness of data representations in Algol-like languages / by R.D. Tennent.},
year = {1993},
}

@book{alma994743583502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Action structures for the [pi]-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-264},
title = {Action structures for the [pi]-calculus / by Robin Milner.},
year = {1993},
}

@book{alma994742173502466,
author = {Goossens, K. G. W.},
address = {Edinburgh},
booktitle = {Structure and behaviour in hardware verification},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-273},
title = {Structure and behaviour in hardware verification / by K.W.G. Goossens.},
year = {1993},
}

@book{alma993688173502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {A calculus of communicating systems},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 86-7},
title = {A calculus of communicating systems / by Robin Milner.},
year = {1986},
}

@book{alma994492013502466,
author = {Goossens, K. G. W.},
address = {Edinburgh},
booktitle = {Operational semantics based formal symbolic simulation},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-231},
title = {Operational semantics based formal symbolic simulation / by K.G.W. Goossens.},
year = {1992},
}

@book{alma995955543502466,
author = {Yoshida, Nobuko.},
address = {Edinburgh},
booktitle = {Graph types for monadic mobile processes},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 96-350},
title = {Graph types for monadic mobile processes / Nobuko Yoshida.},
year = {1996},
}

@book{alma994192943502466,
author = {Luo, Zhaohui.},
address = {Edinburgh},
booktitle = {Program specification and data refinement in type theory},
keywords = {Computer programs},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-131},
title = {Program specification and data refinement in type theory / by Zhaohui Luo.},
year = {1991},
}

@book{alma994192953502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Computer assisted proof for mathematics : an introduction using the LEGO proof system},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-132},
title = {Computer assisted proof for mathematics : an introduction using the LEGO proof system / by Rod Burstall.},
year = {1991},
}

@book{alma994309973502466,
author = {Matthews, David C. J.},
address = {Edinburgh},
booktitle = {A distributed concurrent implementation of Standard ML},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-174},
title = {A distributed concurrent implementation of Standard ML / by David C.J. Matthews.},
year = {1991},
}

@book{alma994310073502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {The polyadic [Pi]-calculus : a tutorial},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-180},
title = {The polyadic [Pi]-calculus : a tutorial / by Robin Milner.},
year = {1991},
}

@book{alma994309963502466,
author = {Bruns, Glenn R. (Glenn Robert)},
address = {Edinburgh},
booktitle = {A language for value-passing CCS},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-175},
title = {A language for value-passing CCS / by Glenn Bruns.},
year = {1991},
}

@book{alma994098293502466,
author = {Luo, Zhaohui.},
address = {Edinburgh},
booktitle = {A problem of adequacy : conservativity of calculus of constructions over higher-order logic},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-121},
title = {A problem of adequacy : conservativity of calculus of constructions over higher-order logic / by Zhaohui Luo.},
year = {1990},
}

@book{alma995327803502466,
author = {Matthews, David C. J.},
address = {Edinburgh},
booktitle = {Papers on Poly/ML},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-335},
title = {Papers on Poly/ML / by D.C.J. Matthews.},
year = {1995},
}

@book{alma994220733502466,
author = {Luo, Zhaohui.},
address = {Edinburgh},
booktitle = {A unifying theory of dependent types I},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-154},
title = {A unifying theory of dependent types I / by Zhaohui Luo.},
year = {1991},
}

@book{alma994220753502466,
author = {Goossens, K. G. W.},
address = {Edinburgh},
booktitle = {Embedding a CHDDL in a proof system},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-155},
title = {Embedding a CHDDL in a proof system / K.W.G. Goossens.},
year = {1991},
}

@book{alma993262703502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Inductively defined functions in functional programming languages},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-25},
title = {Inductively defined functions in functional programming languages / by Rod Burstall.},
year = {1987},
}

@book{alma994635553502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Action structures},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-249},
title = {Action structures / by Robin Milner.},
year = {1993},
}

@book{alma994635543502466,
author = {Plotkin, G. (Gordon)},
address = {Edinburgh},
booktitle = {A semantics for static type inference},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-245},
title = {A semantics for static type inference / by Gordon Plotkin.},
year = {1993},
}

@book{alma994422793502466,
author = {Phoa, Wesley.},
address = {Edinburgh},
booktitle = {A proposed categorical semantics for Pure ML},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-213},
title = {A proposed categorical semantics for Pure ML / by Wesley Phoa, Michael Fourman.},
year = {1992},
}

@book{alma994743673502466,
author = {Parrow, Joachim},
address = {Edinburgh},
booktitle = {Algebraic theories for name-passing calculi},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-262},
title = {Algebraic theories for name-passing calculi / by Joachim Parrow and Davide Sangiorgi.},
year = {1993},
}

@book{alma994193853502466,
author = {Hüttel, Hans.},
address = {Edinburgh},
booktitle = {Actions speak louder than words : proving bisimilarity for context-free processes},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-145},
title = {Actions speak louder than words : proving bisimilarity for context-free processes / by Hans Hüttel and Colin Stirling.},
year = {1991},
}

@book{alma994193873502466,
author = {Moller, Faron.},
address = {Edinburgh},
booktitle = {Relating processes with respect to speed},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-143},
title = {Relating processes with respect to speed / by Faron Moller, Chris Tofts.},
year = {1991},
}

@book{alma994254903502466,
author = {Xue, Jingling.},
address = {Edinburgh},
booktitle = {The synthesis of control signals for one-dimensional systolic arrays},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-156},
title = {The synthesis of control signals for one-dimensional systolic arrays / by Jingling Xue, Christian Lengauer.},
year = {1991},
}

@book{alma994254883502466,
author = {Bellin, Gianluigi.},
address = {Edinburgh},
booktitle = {A decision procedure revisited : Notes on direct logic, linear logic and its implementation},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-167},
title = {A decision procedure revisited : Notes on direct logic, linear logic and its implementation / by Gianluigi Bellin and Jussi Ketonen.},
year = {1991},
}

@book{alma994848343502466,
author = {Steffen, Martin.},
address = {Edinburgh},
booktitle = {Higher-order subtyping},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-280},
title = {Higher-order subtyping / by Martin Steffen, Benjamin Pierce.},
year = {1994},
}

@book{alma994848323502466,
author = {Victor, Björn.},
address = {Edinburgh},
booktitle = {The mobility workbench : a tool for the [pi]-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-285},
title = {The mobility workbench : a tool for the [pi]-calculus / by Björn Victor and Faron Moller.},
year = {1994},
}

@book{alma994129333502466,
author = {Harland, James.},
address = {Edinburgh},
booktitle = {The uniform proof-theoretic foundation of linear logic programming},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-124},
title = {The uniform proof-theoretic foundation of linear logic programming / by James Harland and David Pym.},
year = {1990},
}

@book{alma994335793502466,
address = {Edinburgh},
booktitle = {An ideal model for an extended [lambda]- calculus with refinement},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-188},
title = {An ideal model for an extended [lambda]- calculus with refinement / by L. Levy [and others].},
year = {1991},
}

@book{alma994034553502466,
author = {Xue, Jingling.},
address = {Edinburgh},
booktitle = {On the description and development of one-dimensional systolic arrays},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-116},
title = {On the description and development of one-dimensional systolic arrays / by Jingling Xue and Christian Lengauer.},
year = {1990},
}

@book{alma994492563502466,
author = {Bellin, Gianluigi.},
address = {Edinburgh},
booktitle = {On the [Pi]-calculus and linear logic},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-232},
title = {On the [Pi]-calculus and linear logic / by G. Bellin, P.J. Scott.},
year = {1992},
}

@book{alma994492543502466,
author = {Hofmann, Martin.},
address = {Edinburgh},
booktitle = {An abstract view of objects and subtyping : preliminary report},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-226},
title = {An abstract view of objects and subtyping : preliminary report / by M. Hofmann and Benjamin Pierce.},
year = {1992},
}

@book{alma994492003502466,
author = {Da Silva, Fabio.},
address = {Edinburgh},
booktitle = {Correctness proofs of compilers and debuggers : an overview of an approach based on structural operational semantics ; extended abstract of Ph.D. thesis},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-233},
title = {Correctness proofs of compilers and debuggers : an overview of an approach based on structural operational semantics ; extended abstract of Ph.D. thesis / by Fabio Q.B. da Silva.},
year = {1992},
}

@book{alma995322973502466,
author = {Frieze, Alan.},
address = {Edinburgh},
booktitle = {Improved approximation algorithms for MAX k-CUT and MAX BISECTION},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-292},
title = {Improved approximation algorithms for MAX k-CUT and MAX BISECTION / by Alan Frieze and Mark Jerrum.},
year = {1994},
}

@book{alma995322803502466,
address = {Edinburgh},
booktitle = {Generating and counting Hamilton cycles in random regular graphs},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-313},
title = {Generating and counting Hamilton cycles in random regular graphs / by Alan Frieze [and others].},
year = {1994},
}

@book{alma995322903502466,
author = {Hofmann, Martin.},
address = {Edinburgh},
booktitle = {Positive subtyping},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-303},
title = {Positive subtyping / by Martin Hofmann and Benjamin Pierce.},
year = {1994},
}

@book{alma995322943502466,
author = {Esparza, Javier.},
address = {Edinburgh},
booktitle = {Trapping mutual exclusion in box calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-295},
title = {Trapping mutual exclusion in box calculus / by Javier Esparza and Glenn Bruns.},
year = {1994},
}

@book{alma995322823502466,
author = {Collins, Graham.},
address = {Edinburgh},
booktitle = {Supporting formal reasoning about Standard ML},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-310},
title = {Supporting formal reasoning about Standard ML / by Graham Collins and Stephen Gilmore.},
year = {1994},
}

@book{alma995322923502466,
author = {Boreale, Michele.},
address = {Edinburgh},
booktitle = {A fully abstract semantics for causality in the [pi]-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-297},
title = {A fully abstract semantics for causality in the [pi]-calculus / by Michele Boreale and Davide Sangiorgi.},
year = {1994},
}

@book{alma995955513502466,
author = {Gore, Vivek.},
address = {Edinburgh},
booktitle = {The Swendsen-Wang process does not always mix rapidly},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 96-349},
title = {The Swendsen-Wang process does not always mix rapidly / Vivek K. Gore and Mark R. Jerrum.},
year = {1996},
}

@book{alma994310103502466,
author = {Lengauer, Christian.},
address = {Edinburgh},
booktitle = {Recent developments in systolic design},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-176},
title = {Recent developments in systolic design / by Christian Lengauer, Jingling Xue.},
year = {1991},
}

@book{alma994310123502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {A mildly exponential algorithm for the permanent},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-179},
title = {A mildly exponential algorithm for the permanent / by Mark Jerrum, Umesh Vazirani.},
year = {1991},
}

@book{alma995327673502466,
author = {Gore, Vivek.},
address = {Edinburgh},
booktitle = {A quasi-polynomial-time algorithm for sampling words from a context-free language},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-326},
title = {A quasi-polynomial-time algorithm for sampling words from a context-free language / by Vivek Gore and Mark Jerrum.},
year = {1995},
}

@book{alma994220783502466,
author = {Sangiorgi, Davide.},
address = {Edinburgh},
booktitle = {An improved systolic array for string correction},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-153},
title = {An improved systolic array for string correction / by Davide Sangiorgi, Christian Lengauer.},
year = {1991},
}

@book{alma994220763502466,
author = {Xue, Jingling.},
address = {Edinburgh},
booktitle = {The systematic derivation of control signals for systolic arrays},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-152},
title = {The systematic derivation of control signals for systolic arrays / by Jingling Xue and Christian Lengauer.},
year = {1991},
}

@book{alma994254913502466,
author = {Harland, James.},
address = {Edinburgh},
booktitle = {The uniform proof-theoretic foundation of linear logic programming : extended abstract},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-168},
title = {The uniform proof-theoretic foundation of linear logic programming : extended abstract / by James Harland, David Pym.},
year = {1991},
}

@book{alma994635533502466,
author = {Da Silva, Fabio.},
address = {Edinburgh},
booktitle = {Observational equivalence and compiler correctness},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-240},
title = {Observational equivalence and compiler correctness / by Fabio Q.B. de Silva.},
year = {1993},
}

@book{alma994635563502466,
author = {Gordon, R.},
address = {Edinburgh},
booktitle = {Enrichment through variation},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-254},
title = {Enrichment through variation / by R. Gordon, A.J. Power.},
year = {1993},
}

@book{alma994635503502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Simulated annealing for graph bisection},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-260},
title = {Simulated annealing for graph bisection / by Mark Jerrum, Gregory Sorkin.},
year = {1993},
}

@book{alma994635613502466,
author = {Harland, James.},
address = {Edinburgh},
booktitle = {A synopsis on the identification of linear logic programming languages},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-248},
title = {A synopsis on the identification of linear logic programming languages / by James Harland and David Pym.},
year = {1993},
}

@book{alma995962563502466,
author = {Lengauer, Christian.},
address = {Edinburgh},
booktitle = {A systolic array for pyramidal algorithms},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-114},
title = {A systolic array for pyramidal algorithms / by hristian Lengauer and Jingling Xue.},
year = {1990},
}

@book{alma993513773502466,
author = {Lev, Gavriela.},
address = {Edinburgh},
booktitle = {A fast parallel algorithm for routing in permutation networks},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 63-80},
title = {A fast parallel algorithm for routing in permutation networks / by Gavriela Lev, Nicholas Pippenger and Leslie G. Valiant.},
year = {1980},
}

@book{alma993513993502466,
author = {Atkinson, M. P.},
address = {Edinburgh},
booktitle = {PS-ALGOL : an ALGOL with a persistent heap},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 94-81},
title = {PS-ALGOL : an ALGOL with a persistent heap / by Malcom P. Atkinson, Ken Chisholm and Paul Cockshott.},
year = {1981},
}

@book{alma993513973502466,
author = {Atkinson, M. P.},
address = {Edinburgh},
booktitle = {The new Edinburgh persistent algorithmic language},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 90-81},
title = {The new Edinburgh persistent algorithmic language / by Malcom P. Atkinson, Ken Chisholm and Paul Cockshott.},
year = {1981},
}

@book{alma993259163502466,
author = {Jensen, Finn V.},
address = {Edinburgh},
booktitle = {Recursively defined domains and their induction principles},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 176-84},
title = {Recursively defined domains and their induction principles / by Finn V. Jensen and Kim G. Larsen.},
year = {1984},
}

@book{alma993258893502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Random generation of combinatorial structures from a uniform distribution},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 187-85},
title = {Random generation of combinatorial structures from a uniform distribution / by Mark R. Jerrum, Leslie G. Valiant and Vijay V. Vazirani.},
year = {1985},
}

@inproceedings{alma994742133502466,
address = {Edinburgh},
keywords = {Machine theory},
language = {eng},
organization = {Workshop on process algebra and performance modelling (Proceedings), (1993) : Edinburgh)},
publisher = {University of Edinburgh},
series = {CSR- ; 26-93},
title = {Proceedings of workshop on process algebra and performance modelling : University of Edinburgh, May 21, 1993 / [edited by] Jane Hillston and Faron Moller.},
year = {1993},
}

@book{alma993513793502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {On observing nondeterminism and concurrency},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 69-80},
title = {On observing nondeterminism and concurrency / by Matthew Hennessy and Robin Milner.},
year = {1980},
}

@book{alma993514313502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {Algebraic laws for nondeterminism and concurrency},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 133-83},
title = {Algebraic laws for nondeterminism and concurrency / by Matthew Hennessy and Robin Milner.},
year = {1983},
}

@book{alma993424023502466,
address = {Edinburgh},
booktitle = {A metalanguage for interactive proof in LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 16-77},
title = {A metalanguage for interactive proof in LCF / by M. Gordon [and others].},
year = {1978 - 1977},
}

@book{alma992163773502466,
author = {Reynolds, John C.},
address = {Edinburgh},
booktitle = {Reasoning about arrays},
language = {eng},
publisher = {Edinburgh University},
series = {CSR- ; 6-77},
title = {Reasoning about arrays / John C. Reynolds.},
year = {1977},
}

@book{alma992163703502466,
author = {Reynolds, John C.},
address = {Edinburgh},
booktitle = {Programming with transition diagrams},
language = {eng},
publisher = {Edinburgh University},
series = {CSR- ; 4-77},
title = {Programming with transition diagrams / John C. Reynolds.},
year = {1977},
}

@book{alma9912580813502466,
author = {Apt, Krzysztof R.},
address = {Edinburgh},
booktitle = {Countable nondeterminism and random assignment},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 98-82},
title = {Countable nondeterminism and random assignment / by K.R. Apt and G. D. Plotkin.},
year = {1982},
}

@book{alma995597403502466,
author = {Cohn, Avra Jean.},
address = {Edinburgh},
booktitle = {On using Edinburgh LCF to prove the correctness of a parsing algorithm},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 113-82},
title = {On using Edinburgh LCF to prove the correctness of a parsing algorithm / by Avra Cohn and Robin Milner.},
year = {1982},
}

@book{alma9911204433502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Modal logics for mobile processes},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-136},
title = {Modal logics for mobile processes / by Robin Milner, Joachim Parrow and David Walker.},
year = {1991},
}

@book{alma995602943502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {A logic for computable functions with reflexive and polymorphic types},
language = {eng},
publisher = {University of Edinburgh},
series = {LCF report ; no. 1},
title = {A logic for computable functions with reflexive and polymorphic types / by R. Milner, L. Morris and M. Newey.},
year = {1975},
}

@book{alma994470693502466,
author = {O'Hearn, Peter W. (Peter William)},
address = {Edinburgh},
booktitle = {Relational parametricity and local variables : preliminary report},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-223},
title = {Relational parametricity and local variables : preliminary report / by P.W. O'Hearn, R.D. Tennent.},
year = {1992},
}

@book{alma994422803502466,
author = {Luo, Zhaohui.},
address = {Edinburgh},
booktitle = {LEGO proof development system : user's manual},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-211},
title = {LEGO proof development system : user's manual / by Zhaohui Luo, Robert Pollack.},
year = {1992},
}

@book{alma994422873502466,
author = {Christensen, Søren.},
address = {Edinburgh},
booktitle = {Bisimulation equivalence is decidable for all context-free processes},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-218},
title = {Bisimulation equivalence is decidable for all context-free processes / by Søren Christensen, Hans Hüttel.},
year = {1992},
}

@book{alma994422843502466,
author = {Harland, James A.},
address = {Edinburgh},
booktitle = {On resolution in fragments of classical linear logic : extended abstract},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-212},
title = {On resolution in fragments of classical linear logic : extended abstract / by J.A. Harland, D.J. Pym.},
year = {1992},
}

@book{alma994743713502466,
author = {Compagnoni, Adriana B.},
address = {Edinburgh},
booktitle = {Multiple inheritance via intersection types},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-275},
title = {Multiple inheritance via intersection types / by Adriana B. Compagnoni, Benjamin C. Pierce.},
year = {1993},
}

@book{alma994193923502466,
author = {Krieg-Brückner, B. (Bernd)},
address = {Edinburgh},
booktitle = {Structuring specifications in-the-large and in-the-small : higher-order functions, dependent types and inheritance in SPECTRAL},
keywords = {Programming languages (Electronic computers)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-135},
title = {Structuring specifications in-the-large and in-the-small : higher-order functions, dependent types and inheritance in SPECTRAL / by Bernd Krieg-Brükner, Donald Sannella.},
year = {1991},
}

@book{alma994193913502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {A kernel specification formalism with higher-order parameterisation},
keywords = {Programming languages (Electronic computers)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-139},
title = {A kernel specification formalism with higher-order parameterisation / by Donald Sannella and Andrzej Tarlecki.},
year = {1991},
}

@book{alma994193833502466,
author = {Pym, David J.},
address = {Edinburgh},
booktitle = {Proof search in the Lambda Pi-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-146},
title = {Proof search in the Lambda Pi-calculus / by David Pym, Lincoln Wallen.},
year = {1991},
}

@book{alma994193753502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Deliverables : an approach to program development in the calculus of constructions},
keywords = {Computer software -- Development},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-133},
title = {Deliverables : an approach to program development in the calculus of constructions / by Rod Burstall and James McKinna.},
year = {1991},
}

@book{alma994193903502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Extended ML : past, present and future},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-138},
title = {Extended ML : past, present and future / by Donald Sannella and Andrzej Tarlecki.},
year = {1991},
}

@book{alma994193793502466,
author = {Barnett, Michael P.},
address = {Edinburgh},
booktitle = {A systolizing compilation scheme},
keywords = {Systolic array circuits},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-134},
title = {A systolizing compilation scheme / by Michael Barnett and Christian Lengauer.},
year = {1991},
}

@book{alma994254893502466,
author = {Hodas, Joshua S.},
address = {Edinburgh},
booktitle = {Logic programming in a fragment of intuitionistic linear logic : extended abstract},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-158},
title = {Logic programming in a fragment of intuitionistic linear logic : extended abstract / by Joshua S. Hodas, Dale Miller.},
year = {1991},
}

@book{alma994848373502466,
author = {Hirshfeld, Yoram.},
address = {Edinburgh},
booktitle = {A polynomial algorithm for deciding bisimilarity of normed context-free processes},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-286},
title = {A polynomial algorithm for deciding bisimilarity of normed context-free processes / by Yoram Hirshfeld, Mark Jerrum and Faron Moller.},
year = {1994},
}

@book{alma994848393502466,
author = {Hirshfeld, Yoram.},
address = {Edinburgh},
booktitle = {A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Pocesses},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-288},
title = {A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Pocesses / by Yoram Hirshfeld, Mark Jerrum and Faron Moller.},
year = {1994},
}

@book{alma994129353502466,
author = {Chen, Liang.},
address = {Edinburgh},
booktitle = {A timed calculus of communicating systems},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-127},
title = {A timed calculus of communicating systems / by Liang Chen, Stuart Anderson, Faron Moller.},
year = {1990},
}

@book{alma994034563502466,
author = {Bradfield, Julian Charles.},
address = {Edinburgh},
booktitle = {Local model checking for infinite state spaces},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-115},
title = {Local model checking for infinite state spaces / by Julian Bradfield and Colin Stirling.},
year = {1990},
}

@book{alma994492553502466,
author = {Pierce, Benjamin C.},
address = {Edinburgh},
booktitle = {Object-oriented programming without recursive types},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-225},
title = {Object-oriented programming without recursive types / by Benjamin C. Pierce, David N. Turner.},
year = {1992},
}

@book{alma994492573502466,
author = {Goldberg, Leslie Ann.},
address = {Edinburgh},
booktitle = {A sub-logarithmic communication algorithm for the completely connected optical communication parallel computer},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-234},
title = {A sub-logarithmic communication algorithm for the completely connected optical communication parallel computer / by Leslie Ann Goldberg and Mark Jerrum.},
year = {1992},
}

@book{alma995322863502466,
author = {Le Sergent, Thierry.},
address = {Edinburgh},
booktitle = {Balancing load under large and fast load changes in distributed computing systems : a case study},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-305},
title = {Balancing load under large and fast load changes in distributed computing systems : a case study / by Thierry Le Sergent and Bernard Berthomieu.},
year = {1994},
}

@book{alma995322843502466,
author = {Le Sergent, Thierry.},
address = {Edinburgh},
booktitle = {Adaptive selection of protocols for strict coherency in distributed shared memory},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-306},
title = {Adaptive selection of protocols for strict coherency in distributed shared memory / by Thierry Le Sergent and David C.J. Matthews.},
year = {1994},
}

@book{alma993842913502466,
author = {Goguen, J. A. (Joseph A.)},
address = {Edinburgh},
booktitle = {Institutions : abstract model theory for specification and programming},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-106},
title = {Institutions : abstract model theory for specification and programming / by Joseph A. Goguen, Rod Burstall.},
year = {1990},
}

@book{alma994410513502466,
author = {Luo, Zhaohui.},
address = {Edinburgh},
booktitle = {A set-theoretic setting for structuring theories in proof development},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-206},
title = {A set-theoretic setting for structuring theories in proof development / by Zhaohui Luo and Rod Burstall.},
year = {1992},
}

@book{alma994410503502466,
author = {Goguen, Healfdene.},
address = {Edinburgh},
booktitle = {Inductive data types : well-ordering types revisited},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-209},
title = {Inductive data types : well-ordering types revisited / by Healfdene Goguen, Zhaohui Luo.},
year = {1992},
}

@book{alma994310083502466,
author = {Groote, J. F. (Jan Friso)},
address = {Edinburgh},
booktitle = {Undecidable equivalences for basic process algebra},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-169},
title = {Undecidable equivalences for basic process algebra / by Jan Friso Groote, Hans Hüttel.},
year = {1991},
}

@book{alma994399353502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Toward formal development of programs from algebraic specifications : model-theoretic foundations},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-204},
title = {Toward formal development of programs from algebraic specifications : model-theoretic foundations / by Donald Sannella, Andrzej Tarlecki.},
year = {1992},
}

@book{alma995327653502466,
author = {Hofmann, Martin.},
address = {Edinburgh},
booktitle = {On behavioural abstraction and behavioural satisfaction in higher-order logic},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-318},
title = {On behavioural abstraction and behavioural satisfaction in higher-order logic / by Martin Hofmann and Donald Sannella.},
year = {1995},
}

@book{alma995327643502466,
author = {Wang, Li-Guo.},
address = {Edinburgh},
booktitle = {Formal design of a class of computers},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-333},
title = {Formal design of a class of computers / by Li-Guo Wang and Michael Mendler.},
year = {1995},
}

@book{alma995327573502466,
author = {Matthews, David C. J.},
address = {Edinburgh},
booktitle = {LEMMA interface definition},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-316},
title = {LEMMA interface definition / by David C.J. Matthews and Thierry le Sergent.},
year = {1995},
}

@book{alma995327563502466,
author = {Matthews, David C. J.},
address = {Edinburgh},
booktitle = {LEMMA : a distributed shared memory with global and local garbage collection},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-325},
title = {LEMMA : a distributed shared memory with global and local garbage collection / by David C.J. Matthews & Thierry le Sergent.},
year = {1995},
}

@book{alma995327663502466,
author = {Kinoshita, Yoshiki.},
address = {Edinburgh},
booktitle = {Lax naturality through enrichment},
edition = {26 December 1994. Revised 26 July, 1995.},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-330},
title = {Lax naturality through enrichment / by Yoshiki Kinoshita and John Power.},
year = {1995},
}

@book{alma995327623502466,
author = {Wang, Li-Guo.},
address = {Edinburgh},
booktitle = {Abstraction of hardware construction},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-334},
title = {Abstraction of hardware construction / by Li-Guo Wang and Michael Mendler.},
year = {1995},
}

@book{alma994359253502466,
author = {Groote, J. F. (Jan Friso)},
address = {Edinburgh},
booktitle = {Verification of parallel systems via decomposition},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-193},
title = {Verification of parallel systems via decomposition / by Jan Frisco Groote, Faron Moller.},
year = {1992},
}

@book{alma994359263502466,
author = {O'Hearn, Peter W. (Peter William)},
address = {Edinburgh},
booktitle = {Semantics of local variables},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-192},
title = {Semantics of local variables / by P.W. O'Hearn, R.D. Tennent.},
year = {1992},
}

@book{alma994359243502466,
author = {Read, M. G.},
address = {Edinburgh},
booktitle = {Formal program development in modular Prolog : a case study},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-195},
title = {Formal program development in modular Prolog : a case study / M.G. Read, E.A. Kazmierczak.},
year = {1992},
}

@book{alma994359233502466,
author = {Barnett, Michael P.},
address = {Edinburgh},
booktitle = {Loop parallelization and unimodularity},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-197},
title = {Loop parallelization and unimodularity / by Michael Barnett, Christian Lengauer.},
year = {1992},
}

@book{alma995327683502466,
author = {Bradfield, Julian Charles.},
address = {Edinburgh},
booktitle = {An effective tableau system for the linear time mu-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-337},
title = {An effective tableau system for the linear time mu-calculus / by Julian Bradfield, Javier Esparza and Angelika Mader.},
year = {1995},
}

@book{alma993262573502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Toward formal development of programs from algebraic specifications : implementations revisited},
keywords = {Computer software -- Development},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 86-17},
title = {Toward formal development of programs from algebraic specifications : implementations revisited / by Donald Sannella and Andrzej Tarlecki.},
year = {1986},
}

@book{alma994635633502466,
author = {Christensen, Søren.},
address = {Edinburgh},
booktitle = {Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-244},
title = {Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes / by S. Christensen, Y. Hirshfeld and F. Moller.},
year = {1993},
}

@book{alma994635523502466,
author = {Dyer, Martin.},
address = {Edinburgh},
booktitle = {Approximately counting Hamilton cycles in dense graphs},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-259},
title = {Approximately counting Hamilton cycles in dense graphs / by Martin Dyer, Alan Frieze, Mark Jerrum.},
year = {1993},
}

@book{alma994635573502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {The virtues of eta-expansion},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-243},
title = {The virtues of eta-expansion / by C. Barry Jay and Neil Ghani.},
year = {1993},
}

@book{alma994635593502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Deliverables : a categorical approach to program development in type theory},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-242},
title = {Deliverables : a categorical approach to program development in type theory / by Rod Burstall and James McKinna.},
year = {1993},
}

@book{alma994635483502466,
author = {Pierce, Benjamin C.},
address = {Edinburgh},
booktitle = {Statically typed friendly functions via partially abstract types},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-256},
title = {Statically typed friendly functions via partially abstract types / by Benjamin C. Pierce, David N. Turner.},
year = {1993},
}

@book{alma994635583502466,
author = {Mendler, M. (Michael)},
address = {Edinburgh},
booktitle = {Newtonian arbiters cannot be proven correct},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-252},
title = {Newtonian arbiters cannot be proven correct / by Michael Mendler and Terry Stroup.},
year = {1993},
}

@book{alma994635603502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Hiding and behaviour : an institutional approach},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series},
title = {Hiding and behaviour : an institutional approach / by Rod Burstall and Razvan Diaconescu.},
year = {1993},
}

@book{alma996763673502466,
author = {Walton, Christopher D.},
address = {Edinburgh},
booktitle = {The C-LEMMA memory interface on the Cray T3D},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 97-362},
title = {The C-LEMMA memory interface on the Cray T3D / Christopher D. Walton and Bruce J. McAdam.},
year = {1997},
}

@book{alma999808723502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Algebraic specifications in theory and practice},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS education},
title = {Algebraic specifications in theory and practice / by Donald Sannella and Andrzej Tarlecki.},
year = {1987},
}

@book{alma993514623502466,
author = {Atkinson, M. P.},
address = {Edinburgh},
booktitle = {Experimenting with the functional data model},
language = {eng},
publisher = {University of Edinburgh},
series = {PPR-5-83},
title = {Experimenting with the functional data model / by M.P. Atkinson and K.G. Kulkarni.},
year = {1983},
}

@book{alma993513753502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {HOPE : an experimentally applicative language},
edition = {Updated edition.},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 62-80},
title = {HOPE : an experimentally applicative language / by R.M. Burstall, D.B. MacQueen, D.T. Sannella.},
year = {1981},
}

@book{alma993257783502466,
author = {Topham, N. P.},
address = {Edinburgh},
booktitle = {On the design and performance of pipelined architectures},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 247-87},
title = {On the design and performance of pipelined architectures / by Nigel Topham, Amos Omondi and Roland N. Ibbett.},
year = {1987},
}

@inproceedings{alma993842973502466,
address = {Edinburgh},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 319-89},
title = {Awareness initiative in object oriented computing : report of the second workshop ; held in the James Clerk Maxwell Building, King's Buildings, Edinburgh, on the 14th of September, 1989 / editor-Roland N. Ibbett, co-editor - James Lothian.},
year = {1989},
}

@book{alma993424103502466,
author = {Adams, John Colin.},
address = {Edinburgh},
booktitle = {The structure and uses of the Edinburgh Remote Terminal Emulator},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 12-77},
title = {The structure and uses of the Edinburgh Remote Terminal Emulator / by J.C. Adams, W.S. Currie and B.A.C. Gilmore.},
year = {1977},
}

@book{alma993423883502466,
author = {Michaelson, S.},
address = {Edinburgh},
booktitle = {To couple is the custom},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 22-78},
title = {To couple is the custom / by S. Michaelson, A.Q. Morton and N. Hamilton-Smith.},
year = {1977},
}

@book{alma993425073502466,
author = {Michaelson, S.},
address = {Edinburgh},
booktitle = {Justice for Helander},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 42-79},
title = {Justice for Helander / by S. Michaelson, A.Q. Morton and N. Hamilton-Smith.},
year = {1979},
}

@book{alma994470703502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Toward formal development of programs from algebraic specifications : parameterisation revisited},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-222},
title = {Toward formal development of programs from algebraic specifications : parameterisation revisited / by Donald Sannella, Stefan Sokolowski and Andrzej Tarlecki.},
year = {1992},
}

@book{alma994848363502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {Interfaces and extended ML},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-283},
title = {Interfaces and extended ML / by Stefan Khars, Donald Sannella, Andrzej Tarlecki.},
year = {1994},
}

@book{alma995323013502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {The definition of Extended ML : [version 1]},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-300},
title = {The definition of Extended ML : [version 1] / by Stafan Khars, Donald Sannella and Andrzej Tarlecki.},
year = {1994},
}

@book{alma995327703502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {The definition of Extended ML : a gentle introduction},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-322},
title = {The definition of Extended ML : a gentle introduction / by Stefan Kahrs, Donald Sannella & Andrzej Tarlecki.},
year = {1995},
}

@book{alma992351493502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {Standard ML},
keywords = {Programming languages (Electronic computers)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 86-2},
title = {Standard ML / by Robert Harper, David MacQueen, Robin Milner.},
year = {1986},
}

@book{alma993915203502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {Higher-order modules and the phase distinction},
keywords = {ML (Computer program language)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-112},
title = {Higher-order modules and the phase distinction / by Robert Harper, John C. Mitchell, Eugenio Moggi.},
year = {1990},
}

@book{alma994254923502466,
author = {Fachini, E.},
address = {Edinburgh},
booktitle = {Classes of systolic Y-tree automata and a comparison with systolic trellis automata},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-166},
title = {Classes of systolic Y-tree automata and a comparison with systolic trellis automata / by E. Fachini, A. Maggiolo-Schettini, D. Sangiorgi.},
year = {1991},
}

@book{alma994635623502466,
author = {Pym, David J.},
address = {Edinburgh},
booktitle = {Logic programming via proof-valued computations},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-246},
title = {Logic programming via proof-valued computations / by David J. Pym and Lincoln A. Wallen.},
year = {1993},
}

@book{alma996763993502466,
author = {Gilmore, Stephen.},
address = {Edinburgh},
booktitle = {Dynamic ML without dynamic types},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 97-378},
title = {Dynamic ML without dynamic types / by Stephen Gilmore, Dilsun Kírlí and Christopher Walton.},
year = {1997},
}

@book{alma993424123502466,
author = {Gordon, Michael J. C.},
address = {Edinburgh},
booktitle = {Edinburgh LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 11-77},
title = {Edinburgh LCF / by M. Gordon, R. Milner and C. Wadsworth.},
year = {1977},
}

@misc{alma993169423502466,
author = {Horton, Thomas Bolton.},
address = {Edinburgh},
booktitle = {The effectiveness of the stylometry of function words in discriminating between Shakespeare and Fletcher},
keywords = {Fletcher, John, 1579-1625 -- Authorship},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
title = {The effectiveness of the stylometry of function words in discriminating between Shakespeare and Fletcher / Thomas Bolton Horton.},
year = {1987},
}

@inproceedings{alma99325473502466,
address = {London},
keywords = {Integrated circuits -- Large scale integration},
language = {eng},
lccn = {81068035},
organization = {VLSI 81 (Conference) (1981 : University of Edinburgh)},
publisher = {Academic Press},
title = {VLSI 81 : very large scale integration ; [proceedings of the first International Conference on Very Large Scale Integration held at the University of Edinburgh from 18-21 August 1981 / organised by the University of Edinburgh Departments of Computer Science and Electrical Engineering and the Wolfson Microelectronics Institute, with the assistance of CEP Consultants Ltd ...].},
year = {1981},
}

@inproceedings{alma994329073502466,
address = {Amsterdam ;},
keywords = {Electronic digital computers -- Evaluation},
language = {eng},
lccn = {90043608},
organization = {International Symposium on Computer Performance Modeling, Measurement, and Evaluation (14th : 1990 : Edinburgh, Scotland)},
publisher = {North-Holland},
title = {Performance '90 : proceedings of the 14th IFIP WG 7.3 International Symposium on Computer Performance Modelling, Measurement, and Evaluation, Edinburgh, Scotland, 12-14 September 1990 / edited by P.J.B. King, I. Mitrani, R.J. Pooley.},
year = {1990},
}

@book{alma995297983502466,
address = {Edinburgh},
booktitle = {Computer systems research at Edinburgh},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-1-94},
title = {Computer systems research at Edinburgh / by the Computer Systems Group.},
year = {1995},
}

@book{alma995298003502466,
author = {Candlin, Rosemary.},
address = {Edinburgh},
booktitle = {The POSIE project : studies to support the design of operating systems for multicomputers},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-15-95},
title = {The POSIE project : studies to support the design of operating systems for multicomputers / by Rosemary Candlin.},
year = {1995},
}

@book{alma995298353502466,
address = {Edinburgh},
booktitle = {Specifications in stochastic process algebra for a robot control problem},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-7-94},
title = {Specifications in stochastic process algebra for a robot control problem / by Stephen Gilmore [and others].},
year = {1994},
}

@book{alma995297843502466,
author = {Martin, Paul.},
address = {Edinburgh},
booktitle = {The formal specification in Z of task migration on the testbed multicomputer},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-2-94},
title = {The formal specification in Z of task migration on the testbed multicomputer / by Paul Martin.},
year = {1994},
}

@book{alma995297833502466,
author = {Martin, Paul.},
address = {Edinburgh},
booktitle = {The performance profiling of a load balancing multicomputer},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-3-94},
title = {The performance profiling of a load balancing multicomputer / by Paul Martin.},
year = {1994},
}

@book{alma995955213502466,
author = {Knafla, Nils.},
address = {Edinburgh},
booktitle = {A prefetching techniques for object-oriented databases},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CGS-28-97},
title = {A prefetching techniques for object-oriented databases / Nils Knafla.},
year = {1997},
}

@book{alma995297873502466,
author = {Harris, Tim J.},
address = {Edinburgh},
booktitle = {The use of caching in decoupled multiprocessors with shared memory},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-5-94},
title = {The use of caching in decoupled multiprocessors with shared memory / by Tim Harris and Nigel Topham.},
year = {1994},
}

@book{alma995297973502466,
author = {Pooley, R. J.},
address = {Edinburgh},
booktitle = {A study of performance analysis tools in Europe},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-CSG- ; 12-95},
title = {A study of performance analysis tools in Europe / by Rob Pooley.},
year = {1995},
}

@book{alma995298073502466,
author = {Zurek, Thomas.},
address = {Edinburgh},
booktitle = {Optimization strategies for parallel linear recursive query processing},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-16-95},
title = {Optimization strategies for parallel linear recursive query processing / by Thomas Zurek & Peter Thanisch.},
year = {1995},
}

@book{alma995297863502466,
author = {Mujica, Isabel Rojas.},
address = {Edinburgh},
booktitle = {Comparison of three SPN packages : GreatSPN1.6, DSPNexpress1.2, SPNP3.0},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-4-94},
title = {Comparison of three SPN packages : GreatSPN1.6, DSPNexpress1.2, SPNP3.0 / by Isabel Rojas Mujica.},
year = {1994},
}

@book{alma995297963502466,
author = {Pooley, R. J.},
address = {Edinburgh},
booktitle = {Performance evaluation of computer systems},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-13-95},
title = {Performance evaluation of computer systems / by Rob Pooley.},
year = {1995},
}

@book{alma995298093502466,
author = {Chochia, George.},
address = {Edinburgh},
booktitle = {Implementing the hierarchical PRAM on the 2D mesh : Analyses and experiments},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-10-95},
title = {Implementing the hierarchical PRAM on the 2D mesh : Analyses and experiments / by George Chochia, Murray Cole & Todd Heywood.},
year = {1995},
}

@book{alma995298403502466,
author = {Boeres, Cristina.},
address = {Edinburgh},
booktitle = {On the scope of applicability of the ETF algorithm},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-17-95},
title = {On the scope of applicability of the ETF algorithm / by Crista Boeres, George Chochia and Peter Thanisch.},
year = {1995},
}

@book{alma995298133502466,
author = {Chochia, George.},
address = {Edinburgh},
booktitle = {Lower bounds on average time for random destination mesh routing and their utility as performance predictors for PRAM simulation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSSG Report series ; ECS-CSG-18-95},
title = {Lower bounds on average time for random destination mesh routing and their utility as performance predictors for PRAM simulation / by George Chochia, Murray Cole & Todd Heywood.},
year = {1995},
}

@book{alma995298023502466,
author = {Heywood, Todd.},
address = {Edinburgh},
booktitle = {Dynamic randomized simulation of hierarchical PRAMS on meshes},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-9-95},
title = {Dynamic randomized simulation of hierarchical PRAMS on meshes / by Todd Heywood & Claudia Leopold.},
year = {1995},
}

@book{alma995297913502466,
author = {Donatelli, Susanna.},
address = {Edinburgh},
booktitle = {A comparison of performance evaluation process algebra and generalized stochastic Petri nets},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-6-94},
title = {A comparison of performance evaluation process algebra and generalized stochastic Petri nets / by S. Donatelli, J. Hillston & M. Ribaudo.},
year = {1994},
}

@book{alma995298013502466,
author = {Ganesh, A. J.},
address = {Edinburgh},
booktitle = {Large deviations in the sojourn time for queues in series},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-14-95},
title = {Large deviations in the sojourn time for queues in series / by A.J. Ganesh.},
year = {1995},
}

@book{alma995297953502466,
author = {Pooley, R. J.},
address = {Edinburgh},
booktitle = {Integrating behavioural and simulation modelling},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-8-95},
title = {Integrating behavioural and simulation modelling / by Rob Pooley.},
year = {1995},
}

@book{alma995955133502466,
author = {Chochia, George.},
address = {Edinburgh},
booktitle = {Synchronizing arbitrary processor groups in dynamically partitioned 2-D meshes},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-25-96},
title = {Synchronizing arbitrary processor groups in dynamically partitioned 2-D meshes / George Chochia, Murray Cole, Todd Heywood.},
year = {1996},
}

@book{alma995298063502466,
author = {Cusack, Stephen D. (Stephen D.)},
address = {Edinburgh},
booktitle = {Simulation experiments with protocol interactions in ATM networks},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-11-95},
title = {Simulation experiments with protocol interactions in ATM networks / by Stephen Cusack and Rob Pooley.},
year = {1995},
}

@book{alma995955343502466,
author = {Fiore, Marcelo P. (Marcelo Pablo)},
address = {Edinburgh},
booktitle = {First steps on the representation of domains : (extended abstract)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-331},
title = {First steps on the representation of domains : (extended abstract) / Marcelo P. Fiore.},
year = {1995},
}

@book{alma995955103502466,
author = {Fernandes, Marcio Merino.},
address = {Edinburgh},
booktitle = {Using queues for register file organization in VLIW architectures},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-29-97},
title = {Using queues for register file organization in VLIW architectures / Marcio Merino Fernandes and Josef Llosa and Nigel Topham.},
year = {1997},
}

@book{alma995955173502466,
author = {Yang, Kann-Jang.},
address = {Edinburgh},
booktitle = {Process modelling to support object-oriented software production},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-26-96},
title = {Process modelling to support object-oriented software production / Kann-Jang Yang & Rob Pooley.},
year = {1996},
}

@book{alma998980633502466,
author = {McAdam, Bruce J.},
address = {Edinburgh},
booktitle = {Graphs for recording type information},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 99-415},
title = {Graphs for recording type information / by Bruce J. McAdam.},
year = {1999},
}

@book{alma998980673502466,
author = {Kirli, Dilsun.},
address = {Edinburgh},
booktitle = {A polymorphic type and effect system for detecting mobile functions},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 99-413},
title = {A polymorphic type and effect system for detecting mobile functions / by Dilsun Kirli.},
year = {1999},
}

@book{alma995955153502466,
author = {Al-Tawil, K. M. (Khalid M.)},
address = {Edinburgh},
booktitle = {Fault tolerance of hypercube-based multicomputers : a survey},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-CSG- ; 26-96},
title = {Fault tolerance of hypercube-based multicomputers : a survey / Khalid M. al-Tawil, Roland N. Ibbett.},
year = {1996},
}

@misc{alma9924615914902466,
author = {Adams, John Colin},
keywords = {virtual memory systems},
language = {eng},
publisher = {The University of Edinburgh},
title = {Performance, measurement and evaluation of time-shared operating systems},
year = {1977},
}