publications:
- title: "Structured Theories in LCF"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Rod M. Burstall"
    link: "https://researchr.org/alias/rod-m.-burstall"
  year: "1983"
  researchr: "https://researchr.org/publication/SannellaB83"
  cites: 0
  citedby: 0
  pages: "377-391"
  booktitle: "caap"
  kind: "inproceedings"
  key: "SannellaB83"
- title: "Mobile Resource Guarantees for Smart Devices"
  author:
  - name: "David Aspinall"
    link: "https://researchr.org/alias/david-aspinall"
  - name: "Stephen Gilmore"
    link: "https://researchr.org/alias/stephen-gilmore"
  - name: "Martin Hofmann"
    link: "https://researchr.org/alias/martin-hofmann"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Ian Stark"
    link: "https://researchr.org/alias/ian-stark"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3362&spage=1"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3362&spage=1"
  tags:
  - "mobile"
  researchr: "https://researchr.org/publication/AspinallGHSS04"
  cites: 0
  citedby: 0
  pages: "1-26"
  booktitle: "cassis"
  kind: "inproceedings"
  key: "AspinallGHSS04"
- title: "Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1992"
  tags:
  - "meta programming"
  - "meta-model"
  - "model-driven development"
  - "algebraic specification"
  - " algebra"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/SannellaT92"
  cites: 0
  citedby: 0
  pages: "656-671"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "SannellaT92"
- title: "Building Specifications in an Arbritrary Institution"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1984"
  researchr: "https://researchr.org/publication/SannellaT84"
  cites: 0
  citedby: 0
  pages: "337-356"
  booktitle: "sdt"
  kind: "inproceedings"
  key: "SannellaT84"
- title: "Extended ML: Past, Present, and Future"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1990"
  researchr: "https://researchr.org/publication/SannellaT90a"
  cites: 0
  citedby: 0
  pages: "297-322"
  booktitle: "adt"
  kind: "inproceedings"
  key: "SannellaT90a"
- title: "On Observational Equivalence and Algebraic Specification"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1987"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/SannellaT87%3A0"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "34"
  number: "2/3"
  pages: "150-178"
  kind: "article"
  key: "SannellaT87:0"
- title: "On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic"
  author:
  - name: "Martin Hofmann"
    link: "https://researchr.org/alias/martin-hofmann"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/0304-3975(96)00068-0"
  links:
    doi: "http://dx.doi.org/10.1016/0304-3975(96)00068-0"
  tags:
  - "logic"
  - "abstraction"
  researchr: "https://researchr.org/publication/HofmannS96"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "167"
  number: "1&2"
  pages: "3-45"
  kind: "article"
  key: "HofmannS96"
- title: "Structure and Representation in LF"
  author:
  - name: "Robert Harper"
    link: "http://www.cs.cmu.edu/~rwh/"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1989"
  researchr: "https://researchr.org/publication/HarperST89%3A0"
  cites: 0
  citedby: 0
  pages: "226-237"
  booktitle: "lics"
  kind: "inproceedings"
  key: "HarperST89:0"
- title: "Constructive Data Refinement in Typed Lambda Calculus"
  author:
  - name: "Furio Honsell"
    link: "https://researchr.org/alias/furio-honsell"
  - name: "John Longley"
    link: "https://researchr.org/alias/john-longley"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1784/17840161.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1784/17840161.htm"
  tags:
  - "refinement"
  - "data-flow"
  researchr: "https://researchr.org/publication/HonsellLST00"
  cites: 0
  citedby: 0
  pages: "161-176"
  booktitle: "fossacs"
  kind: "inproceedings"
  key: "HonsellLST00"
- title: "Implementation of Parameterised Specifications (Extended Abstract)"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  year: "1982"
  researchr: "https://researchr.org/publication/SannellaW82"
  cites: 0
  citedby: 0
  pages: "473-488"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "SannellaW82"
- title: "Semantic and Syntactic Approaches to Simulation Relations"
  author:
  - name: "Jo Erskine Hannay"
    link: "https://researchr.org/alias/jo-erskine-hannay"
  - name: "Shin-ya Katsumata"
    link: "https://researchr.org/alias/shin-ya-katsumata"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2747&spage=68"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2747&spage=68"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/HannayKS03"
  cites: 0
  citedby: 0
  pages: "68-91"
  booktitle: "mfcs"
  kind: "inproceedings"
  key: "HannayKS03"
- title: "Algebraic Specification and Program Development by Stepwise Refinement"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  year: "1999"
  tags:
  - "refinement"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/Sannella99"
  cites: 0
  citedby: 0
  pages: "1-9"
  booktitle: "LOPSTR"
  kind: "inproceedings"
  key: "Sannella99"
- title: "A Calculus for the Construction of Modular Prolog Programs"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Lincoln A. Wallen"
    link: "https://researchr.org/alias/lincoln-a.-wallen"
  year: "1987"
  tags:
  - "Prolog"
  researchr: "https://researchr.org/publication/SannellaW87"
  cites: 0
  citedby: 0
  pages: "368-378"
  booktitle: "SLP"
  kind: "inproceedings"
  key: "SannellaW87"
- title: "Pre-logical Relations"
  author:
  - name: "Furio Honsell"
    link: "https://researchr.org/alias/furio-honsell"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  year: "1999"
  researchr: "https://researchr.org/publication/HonsellS99"
  cites: 0
  citedby: 0
  pages: "546-561"
  booktitle: "csl"
  kind: "inproceedings"
  key: "HonsellS99"
- title: "Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract)"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1989"
  researchr: "https://researchr.org/publication/SannellaT89"
  cites: 0
  citedby: 0
  pages: "375-389"
  booktitle: "tapsoft"
  kind: "inproceedings"
  key: "SannellaT89"
- title: "The Common Framework Initiative for Algebraic Specification and Development of Software"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1755/17550001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1755/17550001.htm"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/Sannella99%3A0"
  cites: 0
  citedby: 0
  pages: "1-9"
  booktitle: "ershov"
  kind: "inproceedings"
  key: "Sannella99:0"
- title: "Some Thoughts on Algebraic Specification"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1984"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/SannellaT84%3A0"
  cites: 0
  citedby: 0
  pages: "31-38"
  booktitle: "adt"
  kind: "inproceedings"
  key: "SannellaT84:0"
- title: "Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Stefan Sokolowski"
    link: "https://researchr.org/alias/stefan-sokolowski"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1992"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/SannellaST92"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "29"
  number: "8"
  pages: "689-736"
  kind: "article"
  key: "SannellaST92"
- title: "A Kernel Specification Formalism with Higher-Order Parameterization"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1990"
  researchr: "https://researchr.org/publication/SannellaT90"
  cites: 0
  citedby: 0
  pages: "274-296"
  booktitle: "adt"
  kind: "inproceedings"
  key: "SannellaT90"
- title: "Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005)"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.tcs.2007.09.017"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2007.09.017"
  researchr: "https://researchr.org/publication/SannellaS07"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "389"
  number: "3"
  pages: "337-340"
  kind: "article"
  key: "SannellaS07"
- title: "25 Years"
  author:
  - name: "Giorgio Ausiello"
    link: "https://researchr.org/alias/giorgio-ausiello"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Michael W. Mislove"
    link: "https://researchr.org/alias/michael-w.-mislove"
  year: "2001"
  researchr: "https://researchr.org/publication/AusielloSM01"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "250"
  number: "1-2"
  kind: "article"
  key: "AusielloSM01"
- title: "Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract)"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1987"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/SannellaT87"
  cites: 0
  citedby: 0
  pages: "96-110"
  booktitle: "tapsoft"
  kind: "inproceedings"
  key: "SannellaT87"
- title: "Interfaces and Extended ML"
  author:
  - name: "Stefan Kahrs"
    link: "https://researchr.org/alias/stefan-kahrs"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1994"
  researchr: "https://researchr.org/publication/KahrsST94"
  cites: 0
  citedby: 0
  pages: "111-118"
  booktitle: "idl"
  kind: "inproceedings"
  key: "KahrsST94"
- title: "Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1988"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/SannellaT88"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "25"
  number: "3"
  pages: "233-281"
  kind: "article"
  key: "SannellaT88"
- title: "A Simple Refinement Language for Casl"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=162"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=162"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/MossakowskiST04"
  cites: 0
  citedby: 0
  pages: "162-185"
  booktitle: "WADT"
  kind: "inproceedings"
  key: "MossakowskiST04"
- title: "A Calculus for the Construction of Modular Prolog Programs"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Lincoln A. Wallen"
    link: "https://researchr.org/alias/lincoln-a.-wallen"
  year: "1992"
  tags:
  - "Prolog"
  researchr: "https://researchr.org/publication/SannellaW92"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "12"
  number: "1&2"
  pages: "147-177"
  kind: "article"
  key: "SannellaW92"
- title: "From Specifications to Code in CASL"
  author:
  - name: "David Aspinall"
    link: "https://researchr.org/alias/david-aspinall"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2422/24220001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2422/24220001.htm"
  researchr: "https://researchr.org/publication/AspinallS02"
  cites: 0
  citedby: 0
  pages: "1-14"
  booktitle: "amast"
  kind: "inproceedings"
  key: "AspinallS02"
- title: "Foreword: Selected Papers of ESOP 94"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  year: "1995"
  researchr: "https://researchr.org/publication/Sannella95"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "25"
  number: "2-3"
  pages: "79-80"
  kind: "article"
  key: "Sannella95"
- title: "Specifications in an Arbitrary Institution"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1988"
  month: "February/March"
  researchr: "https://researchr.org/publication/SannellaT88%3A0"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "76"
  number: "2/3"
  pages: "165-210"
  kind: "article"
  key: "SannellaT88:0"
- title: "Extended ML: An Institution-Independent Framework for Formal Program Development"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1986"
  researchr: "https://researchr.org/publication/SannellaT86"
  cites: 0
  citedby: 0
  booktitle: "adt"
  kind: "inproceedings"
  key: "SannellaT86"
- title: "A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science"
  author:
  - name: "David E. Rydeheard"
    link: "https://researchr.org/alias/david-e.-rydeheard"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  year: "2002"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/2013003/20130187.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00165/bibs/2013003/20130187.htm"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/RydeheardS02"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "13"
  number: "3-5"
  pages: "187-193"
  kind: "article"
  key: "RydeheardS02"
- title: "Reflections on the Design of a Specification language"
  author:
  - name: "Stefan Kahrs"
    link: "https://researchr.org/alias/stefan-kahrs"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1382/13820154.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1382/13820154.htm"
  tags:
  - "language design"
  - "reflection"
  - "design"
  researchr: "https://researchr.org/publication/KahrsS98"
  cites: 0
  citedby: 0
  pages: "154-170"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "KahrsS98"
- title: "CASL: the Common Algebraic Specification Language"
  author:
  - name: "Egidio Astesiano"
    link: "https://researchr.org/alias/egidio-astesiano"
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Hélène Kirchner"
    link: "http://www.loria.fr/~hkirchne/"
  - name: "Bernd Krieg-Brückner"
    link: "https://researchr.org/alias/bernd-krieg-br%C3%BCckner"
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "2002"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/AstesianoBKKMST02"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "286"
  number: "2"
  pages: "153-196"
  kind: "article"
  key: "AstesianoBKKMST02"
- title: "HOPE: An Experimental Applicative Language"
  author:
  - name: "Rod M. Burstall"
    link: "https://researchr.org/alias/rod-m.-burstall"
  - name: "David B. MacQueen"
    link: "https://researchr.org/alias/david-b.-macqueen"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  year: "1980"
  doi: "https://doi.org/10.1145/800087.802799"
  links:
    doi: "https://doi.org/10.1145/800087.802799"
  researchr: "https://researchr.org/publication/BurstallMS80"
  cites: 0
  citedby: 0
  pages: "136-143"
  booktitle: "lfp"
  kind: "inproceedings"
  key: "BurstallMS80"
- title: "Prelogical Relations"
  author:
  - name: "Furio Honsell"
    link: "https://researchr.org/alias/furio-honsell"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  year: "2002"
  doi: "http://dx.doi.org/10.1006/inco.2002.3115"
  links:
    doi: "http://dx.doi.org/10.1006/inco.2002.3115"
  researchr: "https://researchr.org/publication/HonsellS02"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "178"
  number: "1"
  pages: "23-43"
  kind: "article"
  key: "HonsellS02"
- title: "Formal Development of ML Programs: Methodological Aspects"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1988"
  researchr: "https://researchr.org/publication/SannellaT88%3A1"
  cites: 0
  citedby: 0
  booktitle: "WADT"
  kind: "inproceedings"
  key: "SannellaT88:1"
- title: "Casl - The Common Algebraic Specification Language: Semantics and Proof Theory"
  author:
  - name: "Till Mossakowski"
    link: "http://www.dfki.de/sks/till"
  - name: "Anne Elisabeth Haxthausen"
    link: "https://researchr.org/alias/anne-elisabeth-haxthausen"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "2003"
  tags:
  - "semantics"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/MossakowskiHST03"
  cites: 0
  citedby: 0
  journal: "cai"
  volume: "22"
  number: "3"
  pages: "285-321"
  kind: "article"
  key: "MossakowskiHST03"
- title: "On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic"
  author:
  - name: "Martin Hofmann"
    link: "https://researchr.org/alias/martin-hofmann"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  year: "1995"
  tags:
  - "logic"
  - "abstraction"
  researchr: "https://researchr.org/publication/HofmannS95"
  cites: 0
  citedby: 0
  pages: "247-261"
  booktitle: "tapsoft"
  kind: "inproceedings"
  key: "HofmannS95"
- title: "Mobile Resource Guarantees (project evaluation paper)"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Martin Hofmann"
    link: "https://researchr.org/alias/martin-hofmann"
  - name: "David Aspinall"
    link: "https://researchr.org/alias/david-aspinall"
  - name: "Stephen Gilmore"
    link: "https://researchr.org/alias/stephen-gilmore"
  - name: "Ian Stark"
    link: "https://researchr.org/alias/ian-stark"
  - name: "Lennart Beringer"
    link: "https://researchr.org/alias/lennart-beringer"
  - name: "Hans-Wolfgang Loidl"
    link: "https://researchr.org/alias/hans-wolfgang-loidl"
  - name: "Kenneth Mackenzie"
    link: "https://researchr.org/alias/kenneth-mackenzie"
  - name: "Alberto Momigliano"
    link: "https://researchr.org/alias/alberto-momigliano"
  - name: "Olha Shkaravska"
    link: "https://researchr.org/alias/olha-shkaravska"
  year: "2005"
  tags:
  - "mobile"
  researchr: "https://researchr.org/publication/SannellaHAGSBLMMS05"
  cites: 0
  citedby: 0
  pages: "211-226"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "SannellaHAGSBLMMS05"
- title: "Mind the Gap! Abstract Versus Concrete Models of Specifications"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1996"
  researchr: "https://researchr.org/publication/SannellaT96"
  cites: 0
  citedby: 0
  pages: "114-134"
  booktitle: "mfcs"
  kind: "inproceedings"
  key: "SannellaT96"
- title: "Unit Testing for C88 ASL Architectural Specifications"
  author:
  - name: "Patrícia D. L. Machado"
    link: "https://researchr.org/alias/patr%C3%ADcia-d.-l.-machado"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2420/24200506.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2420/24200506.htm"
  tags:
  - "architecture"
  - "testing"
  researchr: "https://researchr.org/publication/MachadoS02"
  cites: 0
  citedby: 0
  pages: "506-518"
  booktitle: "mfcs"
  kind: "inproceedings"
  key: "MachadoS02"
- title: "Algebraic specification and formal methods for program development: what are the real problems?"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1990"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/SanellaT90"
  cites: 0
  citedby: 0
  journal: "eatcs"
  volume: "41"
  pages: "134-138"
  kind: "article"
  key: "SanellaT90"
- title: "Extended ML: an Institution - Independent Framework for Formal Program Development"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1985"
  researchr: "https://researchr.org/publication/SannellaT85"
  cites: 0
  citedby: 0
  pages: "364-389"
  booktitle: "ctcs"
  kind: "inproceedings"
  key: "SannellaT85"
- title: "Horizontal Composability Revisited"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11780274_16"
  links:
    doi: "http://dx.doi.org/10.1007/11780274_16"
  researchr: "https://researchr.org/publication/SannellaT06"
  cites: 0
  citedby: 0
  pages: "296-316"
  booktitle: "BIRTHDAY"
  kind: "inproceedings"
  key: "SannellaT06"
- title: "Structured Theory Presentations and Logic Representations"
  author:
  - name: "Robert Harper"
    link: "http://www.cs.cmu.edu/~rwh/"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1994"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HarperST94"
  cites: 0
  citedby: 0
  journal: "APAL"
  volume: "67"
  number: "1-3"
  pages: "113-160"
  kind: "article"
  key: "HarperST94"
- title: "The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2267/22670328.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2267/22670328.htm"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/Sannella01"
  cites: 0
  citedby: 0
  pages: "328-344"
  booktitle: "WADT"
  kind: "inproceedings"
  key: "Sannella01"
- title: "A Kernel Language for Algebraic Specification and Implementation - Extended Abstract"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  year: "1983"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/SannellaW83"
  cites: 0
  citedby: 0
  pages: "413-427"
  booktitle: "fct"
  kind: "inproceedings"
  key: "SannellaW83"
- title: "The Semantics of Extended ML: A Gentle Introduction"
  author:
  - name: "Stefan Kahrs"
    link: "https://researchr.org/alias/stefan-kahrs"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1993"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/KahrsST93"
  cites: 0
  citedby: 0
  pages: "186-215"
  booktitle: "sosl"
  kind: "inproceedings"
  key: "KahrsST93"
- title: "Algebraic Methods for Specification and Formal Development of Programs"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/333580.333589"
  links:
    doi: "http://doi.acm.org/10.1145/333580.333589"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/SannellaT99"
  cites: 0
  citedby: 0
  journal: "ACM Comput. Surv."
  volume: "31"
  number: "3es"
  pages: "10"
  kind: "article"
  key: "SannellaT99"
- title: "Logic Representation in LF"
  author:
  - name: "Robert Harper"
    link: "http://www.cs.cmu.edu/~rwh/"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1989"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HarperST89"
  cites: 0
  citedby: 0
  pages: "250-272"
  booktitle: "ctcs"
  kind: "inproceedings"
  key: "HarperST89"
- title: "What Does the Future Hold for Theoretical Computer Science?"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  year: "1997"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/Sanella97"
  cites: 0
  citedby: 0
  pages: "15-19"
  booktitle: "tapsoft"
  kind: "inproceedings"
  key: "Sanella97"
- title: "Global Development via Local Observational Construction Steps"
  author:
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2420/24200001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2420/24200001.htm"
  researchr: "https://researchr.org/publication/BidoitST02"
  cites: 0
  citedby: 0
  pages: "1-24"
  booktitle: "mfcs"
  kind: "inproceedings"
  key: "BidoitST02"
- title: "Architectural Specifications in CASL"
  author:
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "2002"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/2013003/20130252.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00165/bibs/2013003/20130252.htm"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/BidoitST02%3A1"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "13"
  number: "3-5"
  pages: "252-273"
  kind: "article"
  key: "BidoitST02:1"
- title: "Essential Concepts of Algebraic Specification and Program Development"
  author:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1997"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/SannellaT97"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "9"
  number: "3"
  pages: "229-269"
  kind: "article"
  key: "SannellaT97"
- title: "Architectural Specifications in CASL"
  author:
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1548/15480341.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1548/15480341.htm"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/BidoitST98"
  cites: 0
  citedby: 0
  pages: "341-357"
  booktitle: "amast"
  kind: "inproceedings"
  key: "BidoitST98"
- title: "The Definition of Extended ML: A Gentle Introduction"
  author:
  - name: "Stefan Kahrs"
    link: "https://researchr.org/alias/stefan-kahrs"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "1997"
  doi: "http://dx.doi.org/10.1016/S0304-3975(96)00163-6"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(96)00163-6"
  researchr: "https://researchr.org/publication/KahrsST97"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "173"
  number: "2"
  pages: "445-484"
  kind: "article"
  key: "KahrsST97"
- title: "Observational interpretation of Casl specifications"
  author:
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  year: "2008"
  doi: "http://dx.doi.org/10.1017/S0960129507006536"
  links:
    doi: "http://dx.doi.org/10.1017/S0960129507006536"
  researchr: "https://researchr.org/publication/BidoitST08"
  cites: 0
  citedby: 0
  journal: "mscs"
  volume: "18"
  number: "2"
  pages: "325-371"
  kind: "article"
  key: "BidoitST08"
- title: "Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, September 1-4, 1987, Selected Papers"
  year: "1987"
  researchr: "https://researchr.org/publication/adt%3A1987"
  cites: 0
  citedby: 0
  booktitle: "Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, September 1-4, 1987, Selected Papers"
  editor:
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  volume: "332"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  kind: "proceedings"
  key: "adt:1987"
- title: "Algebraic System Specification and Development - A Survey and Annotated Bibliography"
  year: "1991"
  tags:
  - "bibliography"
  - "survey"
  - "algebraic specification"
  - "annotated bibliography"
  - " algebra"
  researchr: "https://researchr.org/publication/BidoitKLOS91"
  cites: 0
  citedby: 0
  editor:
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Hans-Jörg Kreowski"
    link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski"
  - name: "Pierre Lescanne"
    link: "https://researchr.org/alias/pierre-lescanne"
  - name: "Fernando Orejas"
    link: "https://researchr.org/alias/fernando-orejas"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  volume: "501"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54060-1"
  kind: "book"
  key: "BidoitKLOS91"
- title: "Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings"
  year: "2004"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/icalp%3A2004"
  cites: 0
  citedby: 0
  booktitle: "Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings"
  conference: "icalp"
  editor:
  - name: "Josep Díaz"
    link: "https://researchr.org/alias/josep-d%C3%ADaz"
  - name: "Juhani Karhumäki"
    link: "https://researchr.org/alias/juhani-karhum%C3%A4ki"
  - name: "Arto Lepistö"
    link: "https://researchr.org/alias/arto-lepist%C3%B6"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  volume: "3142"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22849-7"
  kind: "proceedings"
  key: "icalp:2004"
- title: "Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers"
  year: "2007"
  researchr: "https://researchr.org/publication/tgc%3A2006"
  cites: 0
  citedby: 0
  booktitle: "Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers"
  conference: "tgc"
  editor:
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Donald Sannella"
    link: "http://homepages.inf.ed.ac.uk/dts/"
  - name: "Roberto Bruni"
    link: "https://researchr.org/alias/roberto-bruni"
  volume: "4661"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-75333-9"
  kind: "proceedings"
  key: "tgc:2006"