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 83, Trees in Algebra and Programming, 8th Colloquium, L Aquila, Italy, March 9-11, 1983, Proceedings"
  editor:
  - name: "Giorgio Ausiello"
    link: "https://researchr.org/alias/giorgio-ausiello"
  - name: "Marco Protasi"
    link: "https://researchr.org/alias/marco-protasi"
  volume: "159"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-12727-5"
  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: "Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers"
  editor:
  - name: "Gilles Barthe"
    link: "https://researchr.org/alias/gilles-barthe"
  - name: "Lilian Burdy"
    link: "https://researchr.org/alias/lilian-burdy"
  - name: "Marieke Huisman"
    link: "https://researchr.org/alias/marieke-huisman"
  - name: "Jean-Louis Lanet"
    link: "https://researchr.org/alias/jean-louis-lanet"
  - name: "Traian Muntean"
    link: "https://researchr.org/alias/traian-muntean"
  volume: "3362"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-24287-2"
  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: "Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings"
  editor:
  - name: "Werner Kuich"
    link: "https://researchr.org/alias/werner-kuich"
  volume: "623"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55719-9"
  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: "Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings"
  editor:
  - name: "Gilles Kahn"
    link: "https://researchr.org/alias/gilles-kahn"
  - name: "David B. MacQueen"
    link: "https://researchr.org/alias/david-b.-macqueen"
  - name: "Gordon D. Plotkin"
    link: "https://researchr.org/alias/gordon-d.-plotkin"
  volume: "173"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-13346-1"
  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: "Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990"
  editor:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Klaus P. Jantke"
    link: "https://researchr.org/alias/klaus-p.-jantke"
  - name: "Fernando Orejas"
    link: "https://researchr.org/alias/fernando-orejas"
  - name: "Horst Reichel"
    link: "https://researchr.org/alias/horst-reichel"
  volume: "534"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54496-8"
  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: "J. Comput. Syst. Sci."
  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: "Theoretical Computer Science"
  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: "Proceedings, Fourth Annual Symposium on Logic in Computer Science, 5-8 June, 1989, Asilomar Conference Center, Pacific Grove, California, USA"
  publisher: "IEEE Computer Society"
  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: "Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings"
  editor:
  - name: "Jerzy Tiuryn"
    link: "https://researchr.org/alias/jerzy-tiuryn"
  volume: "1784"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67257-5"
  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: "Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings"
  editor:
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Erik Meineche Schmidt"
    link: "https://researchr.org/alias/erik-meineche-schmidt"
  volume: "140"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-11576-5"
  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: "Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings"
  editor:
  - name: "Branislav Rovan"
    link: "https://researchr.org/alias/branislav-rovan"
  - name: "Peter Vojtás"
    link: "https://researchr.org/alias/peter-vojt%C3%A1s"
  volume: "2747"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40671-9"
  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: "Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR 99, Venezia, Italy, September 22-24, 1999, Selected Papers"
  editor:
  - name: "Annalisa Bossi"
    link: "https://researchr.org/alias/annalisa-bossi"
  volume: "1817"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67628-7"
  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: "Computer Science Logic, 13th International Workshop, CSL  99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings"
  editor:
  - name: "Jörg Flum"
    link: "https://researchr.org/alias/j%C3%B6rg-flum"
  - name: "Mario Rodríguez-Artalejo"
    link: "https://researchr.org/alias/mario-rodr%C3%ADguez-artalejo"
  volume: "1683"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66536-6"
  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 89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Is"
  editor:
  - name: "Josep Díaz"
    link: "https://researchr.org/alias/josep-d%C3%ADaz"
  - name: "Fernando Orejas"
    link: "https://researchr.org/alias/fernando-orejas"
  volume: "352"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-50940-2"
  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: "Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings"
  editor:
  - name: "Dines Bjørner"
    link: "https://researchr.org/alias/dines-bj%C3%B8rner"
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Alexandre V. Zamulin"
    link: "https://researchr.org/alias/alexandre-v.-zamulin"
  volume: "1755"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67102-1"
  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: "Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, November 13-16, 1984, Selected Papers"
  editor:
  - name: "Hans-Jörg Kreowski"
    link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski"
  volume: "116"
  series: "Informatik-Fachberichte"
  publisher: "Springer"
  isbn: "3-540-16077-9"
  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 Informatica"
  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: "Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990"
  editor:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Klaus P. Jantke"
    link: "https://researchr.org/alias/klaus-p.-jantke"
  - name: "Fernando Orejas"
    link: "https://researchr.org/alias/fernando-orejas"
  - name: "Horst Reichel"
    link: "https://researchr.org/alias/horst-reichel"
  volume: "534"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54496-8"
  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: "Theoretical Computer Science"
  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: "Theoretical Computer Science"
  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 87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra"
  editor:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Robert A. Kowalski"
    link: "https://researchr.org/alias/robert-a.-kowalski"
  - name: "Giorgio Levi"
    link: "https://researchr.org/alias/giorgio-levi"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  volume: "249"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-17660-8"
  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: "Workshop on Interface Definition Languages"
  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 Informatica"
  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: "Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  - name: "Fernando Orejas"
    link: "https://researchr.org/alias/fernando-orejas"
  volume: "3423"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25327-0"
  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: "Journal of Logic and Algebraic Programming"
  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: "Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings"
  editor:
  - name: "Hélène Kirchner"
    link: "https://researchr.org/alias/h%C3%A9l%C3%A8ne-kirchner"
  - name: "Christophe Ringeissen"
    link: "http://www.loria.fr/~ringeiss/"
  volume: "2422"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44144-1"
  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: "Science of Computer Programming"
  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: "Inf. Comput."
  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: "Formal Asp. Comput."
  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: "Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE 98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings"
  editor:
  - name: "Egidio Astesiano"
    link: "https://researchr.org/alias/egidio-astesiano"
  volume: "1382"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64303-6"
  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: "Theoretical Computer Science"
  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: "LISP Conference"
  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: "Inf. Comput."
  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: "ADT"
  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: "Computers and Artificial Intelligence"
  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 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings"
  editor:
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  volume: "915"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-59293-8"
  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: "Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005"
  editor:
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  volume: "6"
  series: "Trends in Functional Programming"
  publisher: "Intellect"
  isbn: "978-1-84150-176-5"
  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: "Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS 96, Cracow, Poland, September 2-6, 1996, Proceedings"
  editor:
  - name: "Wojciech Penczek"
    link: "https://researchr.org/alias/wojciech-penczek"
  - name: "Andrzej Szalas"
    link: "https://researchr.org/alias/andrzej-szalas"
  volume: "1113"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61550-4"
  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: "Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings"
  editor:
  - name: "Krzysztof Diks"
    link: "https://researchr.org/alias/krzysztof-diks"
  - name: "Wojciech Rytter"
    link: "https://researchr.org/alias/wojciech-rytter"
  volume: "2420"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44040-2"
  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: "Bulletin of the 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: "Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings"
  editor:
  - name: "David H. Pitt"
    link: "https://researchr.org/alias/david-h.-pitt"
  - name: "Samson Abramsky"
    link: "https://researchr.org/alias/samson-abramsky"
  - name: "Axel Poigné"
    link: "https://researchr.org/alias/axel-poign%C3%A9"
  - name: "David E. Rydeheard"
    link: "https://researchr.org/alias/david-e.-rydeheard"
  volume: "240"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-17162-2"
  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: "Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday"
  editor:
  - name: "Kokichi Futatsugi"
    link: "https://researchr.org/alias/kokichi-futatsugi"
  - name: "Jean-Pierre Jouannaud"
    link: "https://researchr.org/alias/jean-pierre-jouannaud"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  volume: "4060"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35462-X"
  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: "Annals of Pure and Applied Logic"
  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: "Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers"
  editor:
  - name: "Maura Cerioli"
    link: "https://researchr.org/alias/maura-cerioli"
  - name: "Gianna Reggio"
    link: "https://researchr.org/alias/gianna-reggio"
  volume: "2267"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43159-4"
  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: "Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983"
  editor:
  - name: "Marek Karpinski"
    link: "https://researchr.org/alias/marek-karpinski"
  volume: "158"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-12689-9"
  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: "Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993"
  editor:
  - name: "D. J. Andrews"
    link: "https://researchr.org/alias/d.-j.-andrews"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "C. A. Middelburg"
    link: "https://researchr.org/alias/c.-a.-middelburg"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19854-7"
  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 Computing Surveys"
  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: "Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings"
  editor:
  - name: "David H. Pitt"
    link: "https://researchr.org/alias/david-h.-pitt"
  - name: "David E. Rydeheard"
    link: "https://researchr.org/alias/david-e.-rydeheard"
  - name: "Peter Dybjer"
    link: "https://researchr.org/alias/peter-dybjer"
  - name: "Andrew M. Pitts"
    link: "https://researchr.org/alias/andrew-m.-pitts"
  - name: "Axel Poigné"
    link: "https://researchr.org/alias/axel-poign%C3%A9"
  volume: "389"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51662-X"
  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 97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings"
  editor:
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Max Dauchet"
    link: "https://researchr.org/alias/max-dauchet"
  volume: "1214"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62781-2"
  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: "Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings"
  editor:
  - name: "Krzysztof Diks"
    link: "https://researchr.org/alias/krzysztof-diks"
  - name: "Wojciech Rytter"
    link: "https://researchr.org/alias/wojciech-rytter"
  volume: "2420"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44040-2"
  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: "Formal Asp. Comput."
  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: "Formal Asp. Comput."
  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: "Algebraic Methodology and Software Technology, 7th International Conference, AMAST  98, Amazonia, Brasil, January 4-8, 1999, Proceedings"
  editor:
  - name: "Armando Martin Haeberer"
    link: "https://researchr.org/alias/armando-martin-haeberer"
  volume: "1548"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65462-3"
  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: "Theoretical Computer Science"
  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: "Mathematical Structures in Computer Science"
  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"