@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},
}