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