@inproceedings{SannellaB83,
  title = {Structured Theories in LCF},
  author = {Donald Sannella and Rod M. Burstall},
  year = {1983},
  researchr = {https://researchr.org/publication/SannellaB83},
  cites = {0},
  citedby = {0},
  pages = {377-391},
  booktitle = {caap},
}

@inproceedings{AspinallGHSS04,
  title = {Mobile Resource Guarantees for Smart Devices},
  author = {David Aspinall and Stephen Gilmore and Martin Hofmann and Donald Sannella and Ian Stark},
  year = {2004},
  url = {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},
}

@inproceedings{SannellaT92,
  title = {Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations},
  author = {Donald Sannella and 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},
}

@inproceedings{SannellaT84,
  title = {Building Specifications in an Arbritrary Institution},
  author = {Donald Sannella and Andrzej Tarlecki},
  year = {1984},
  researchr = {https://researchr.org/publication/SannellaT84},
  cites = {0},
  citedby = {0},
  pages = {337-356},
  booktitle = {sdt},
}

@inproceedings{SannellaT90a,
  title = {Extended ML: Past, Present, and Future},
  author = {Donald Sannella and Andrzej Tarlecki},
  year = {1990},
  researchr = {https://researchr.org/publication/SannellaT90a},
  cites = {0},
  citedby = {0},
  pages = {297-322},
  booktitle = {adt},
}

@article{SannellaT87:0,
  title = {On Observational Equivalence and Algebraic Specification},
  author = {Donald Sannella and 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},
}

@article{HofmannS96,
  title = {On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic},
  author = {Martin Hofmann and Donald Sannella},
  year = {1996},
  doi = {10.1016/0304-3975(96)00068-0},
  url = {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},
}

@inproceedings{HarperST89:0,
  title = {Structure and Representation in LF},
  author = {Robert Harper and Donald Sannella and Andrzej Tarlecki},
  year = {1989},
  researchr = {https://researchr.org/publication/HarperST89%3A0},
  cites = {0},
  citedby = {0},
  pages = {226-237},
  booktitle = {lics},
}

@inproceedings{HonsellLST00,
  title = {Constructive Data Refinement in Typed Lambda Calculus},
  author = {Furio Honsell and John Longley and Donald Sannella and Andrzej Tarlecki},
  year = {2000},
  url = {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},
}

@inproceedings{SannellaW82,
  title = {Implementation of Parameterised Specifications (Extended Abstract)},
  author = {Donald Sannella and Martin Wirsing},
  year = {1982},
  researchr = {https://researchr.org/publication/SannellaW82},
  cites = {0},
  citedby = {0},
  pages = {473-488},
  booktitle = {icalp},
}

@inproceedings{HannayKS03,
  title = {Semantic and Syntactic Approaches to Simulation Relations},
  author = {Jo Erskine Hannay and Shin-ya Katsumata and Donald Sannella},
  year = {2003},
  url = {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},
}

@inproceedings{Sannella99,
  title = {Algebraic Specification and Program Development by Stepwise Refinement},
  author = {Donald Sannella},
  year = {1999},
  tags = {refinement, algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/Sannella99},
  cites = {0},
  citedby = {0},
  pages = {1-9},
  booktitle = {LOPSTR},
}

@inproceedings{SannellaW87,
  title = {A Calculus for the Construction of Modular Prolog Programs},
  author = {Donald Sannella and Lincoln A. Wallen},
  year = {1987},
  tags = {Prolog},
  researchr = {https://researchr.org/publication/SannellaW87},
  cites = {0},
  citedby = {0},
  pages = {368-378},
  booktitle = {SLP},
}

@inproceedings{HonsellS99,
  title = {Pre-logical Relations},
  author = {Furio Honsell and Donald Sannella},
  year = {1999},
  researchr = {https://researchr.org/publication/HonsellS99},
  cites = {0},
  citedby = {0},
  pages = {546-561},
  booktitle = {csl},
}

@inproceedings{SannellaT89,
  title = {Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract)},
  author = {Donald Sannella and Andrzej Tarlecki},
  year = {1989},
  researchr = {https://researchr.org/publication/SannellaT89},
  cites = {0},
  citedby = {0},
  pages = {375-389},
  booktitle = {tapsoft},
}

@inproceedings{Sannella99:0,
  title = {The Common Framework Initiative for Algebraic Specification and Development of Software},
  author = {Donald Sannella},
  year = {1999},
  url = {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},
}

@inproceedings{SannellaT84:0,
  title = {Some Thoughts on Algebraic Specification},
  author = {Donald Sannella and Andrzej Tarlecki},
  year = {1984},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/SannellaT84%3A0},
  cites = {0},
  citedby = {0},
  pages = {31-38},
  booktitle = {adt},
}

@article{SannellaST92,
  title = {Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited},
  author = {Donald Sannella and Stefan Sokolowski and 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},
}

@inproceedings{SannellaT90,
  title = {A Kernel Specification Formalism with Higher-Order Parameterization},
  author = {Donald Sannella and Andrzej Tarlecki},
  year = {1990},
  researchr = {https://researchr.org/publication/SannellaT90},
  cites = {0},
  citedby = {0},
  pages = {274-296},
  booktitle = {adt},
}

@article{SannellaS07,
  title = {Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005)},
  author = {Donald Sannella and Vladimiro Sassone},
  year = {2007},
  doi = {10.1016/j.tcs.2007.09.017},
  url = {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},
}

@article{AusielloSM01,
  title = {25 Years},
  author = {Giorgio Ausiello and Donald Sannella and Michael W. Mislove},
  year = {2001},
  researchr = {https://researchr.org/publication/AusielloSM01},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {250},
  number = {1-2},
}

@inproceedings{SannellaT87,
  title = {Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract)},
  author = {Donald Sannella and Andrzej Tarlecki},
  year = {1987},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/SannellaT87},
  cites = {0},
  citedby = {0},
  pages = {96-110},
  booktitle = {tapsoft},
}

@inproceedings{KahrsST94,
  title = {Interfaces and Extended ML},
  author = {Stefan Kahrs and Donald Sannella and Andrzej Tarlecki},
  year = {1994},
  researchr = {https://researchr.org/publication/KahrsST94},
  cites = {0},
  citedby = {0},
  pages = {111-118},
  booktitle = {idl},
}

@article{SannellaT88,
  title = {Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited},
  author = {Donald Sannella and 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},
}

@inproceedings{MossakowskiST04,
  title = {A Simple Refinement Language for Casl},
  author = {Till Mossakowski and Donald Sannella and Andrzej Tarlecki},
  year = {2004},
  url = {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},
}

@article{SannellaW92,
  title = {A Calculus for the Construction of Modular Prolog Programs},
  author = {Donald Sannella and 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},
}

@inproceedings{AspinallS02,
  title = {From Specifications to Code in CASL},
  author = {David Aspinall and Donald Sannella},
  year = {2002},
  url = {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},
}

@article{Sannella95,
  title = {Foreword: Selected Papers of ESOP 94},
  author = {Donald Sannella},
  year = {1995},
  researchr = {https://researchr.org/publication/Sannella95},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {25},
  number = {2-3},
  pages = {79-80},
}

@article{SannellaT88:0,
  title = {Specifications in an Arbitrary Institution},
  author = {Donald Sannella and 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},
}

@inproceedings{SannellaT86,
  title = {Extended ML: An Institution-Independent Framework for Formal Program Development},
  author = {Donald Sannella and Andrzej Tarlecki},
  year = {1986},
  researchr = {https://researchr.org/publication/SannellaT86},
  cites = {0},
  citedby = {0},
  booktitle = {adt},
}

@article{RydeheardS02,
  title = {A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science},
  author = {David E. Rydeheard and Donald Sannella},
  year = {2002},
  url = {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},
}

@inproceedings{KahrsS98,
  title = {Reflections on the Design of a Specification language},
  author = {Stefan Kahrs and Donald Sannella},
  year = {1998},
  url = {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},
}

@article{AstesianoBKKMST02,
  title = {CASL: the Common Algebraic Specification Language},
  author = {Egidio Astesiano and Michel Bidoit and Hélène Kirchner and Bernd Krieg-Brückner and Peter D. Mosses and Donald Sannella and 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},
}

@inproceedings{BurstallMS80,
  title = {{HOPE}: An Experimental Applicative Language},
  author = {Rod M. Burstall and David B. MacQueen and Donald Sannella},
  year = {1980},
  doi = {10.1145/800087.802799},
  url = {https://doi.org/10.1145/800087.802799},
  researchr = {https://researchr.org/publication/BurstallMS80},
  cites = {0},
  citedby = {0},
  pages = {136-143},
  booktitle = {lfp},
}

@article{HonsellS02,
  title = {Prelogical Relations},
  author = {Furio Honsell and Donald Sannella},
  year = {2002},
  doi = {10.1006/inco.2002.3115},
  url = {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},
}

@inproceedings{SannellaT88:1,
  title = {Formal Development of ML Programs: Methodological Aspects},
  author = {Donald Sannella and Andrzej Tarlecki},
  year = {1988},
  researchr = {https://researchr.org/publication/SannellaT88%3A1},
  cites = {0},
  citedby = {0},
  booktitle = {WADT},
}

@article{MossakowskiHST03,
  title = {Casl - The Common Algebraic Specification Language: Semantics and Proof Theory},
  author = {Till Mossakowski and Anne Elisabeth Haxthausen and Donald Sannella and 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},
}

@inproceedings{HofmannS95,
  title = {On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic},
  author = {Martin Hofmann and Donald Sannella},
  year = {1995},
  tags = {logic, abstraction},
  researchr = {https://researchr.org/publication/HofmannS95},
  cites = {0},
  citedby = {0},
  pages = {247-261},
  booktitle = {tapsoft},
}

@inproceedings{SannellaHAGSBLMMS05,
  title = {Mobile Resource Guarantees (project evaluation paper)},
  author = {Donald Sannella and Martin Hofmann and David Aspinall and Stephen Gilmore and Ian Stark and Lennart Beringer and Hans-Wolfgang Loidl and Kenneth Mackenzie and Alberto Momigliano and Olha Shkaravska},
  year = {2005},
  tags = {mobile},
  researchr = {https://researchr.org/publication/SannellaHAGSBLMMS05},
  cites = {0},
  citedby = {0},
  pages = {211-226},
  booktitle = {sfp},
}

@inproceedings{SannellaT96,
  title = {Mind the Gap! Abstract Versus Concrete Models of Specifications},
  author = {Donald Sannella and Andrzej Tarlecki},
  year = {1996},
  researchr = {https://researchr.org/publication/SannellaT96},
  cites = {0},
  citedby = {0},
  pages = {114-134},
  booktitle = {mfcs},
}

@inproceedings{MachadoS02,
  title = {Unit Testing for C88 ASL Architectural Specifications},
  author = {Patrícia D. L. Machado and Donald Sannella},
  year = {2002},
  url = {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},
}

@article{SanellaT90,
  title = {Algebraic specification and formal methods for program development: what are the real problems?},
  author = {Donald Sannella and 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},
}

@inproceedings{SannellaT85,
  title = {Extended ML: an Institution - Independent Framework for Formal Program Development},
  author = {Donald Sannella and Andrzej Tarlecki},
  year = {1985},
  researchr = {https://researchr.org/publication/SannellaT85},
  cites = {0},
  citedby = {0},
  pages = {364-389},
  booktitle = {ctcs},
}

@inproceedings{SannellaT06,
  title = {Horizontal Composability Revisited},
  author = {Donald Sannella and Andrzej Tarlecki},
  year = {2006},
  doi = {10.1007/11780274_16},
  url = {http://dx.doi.org/10.1007/11780274_16},
  researchr = {https://researchr.org/publication/SannellaT06},
  cites = {0},
  citedby = {0},
  pages = {296-316},
  booktitle = {BIRTHDAY},
}

@article{HarperST94,
  title = {Structured Theory Presentations and Logic Representations},
  author = {Robert Harper and Donald Sannella and 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},
}

@inproceedings{Sannella01,
  title = {The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress},
  author = {Donald Sannella},
  year = {2001},
  url = {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},
}

@inproceedings{SannellaW83,
  title = {A Kernel Language for Algebraic Specification and Implementation - Extended Abstract},
  author = {Donald Sannella and Martin Wirsing},
  year = {1983},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/SannellaW83},
  cites = {0},
  citedby = {0},
  pages = {413-427},
  booktitle = {fct},
}

@inproceedings{KahrsST93,
  title = {The Semantics of Extended ML: A Gentle Introduction},
  author = {Stefan Kahrs and Donald Sannella and Andrzej Tarlecki},
  year = {1993},
  tags = {semantics},
  researchr = {https://researchr.org/publication/KahrsST93},
  cites = {0},
  citedby = {0},
  pages = {186-215},
  booktitle = {sosl},
}

@article{SannellaT99,
  title = {Algebraic Methods for Specification and Formal Development of Programs},
  author = {Donald Sannella and Andrzej Tarlecki},
  year = {1999},
  doi = {10.1145/333580.333589},
  url = {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},
}

@inproceedings{HarperST89,
  title = {Logic Representation in LF},
  author = {Robert Harper and Donald Sannella and Andrzej Tarlecki},
  year = {1989},
  tags = {logic},
  researchr = {https://researchr.org/publication/HarperST89},
  cites = {0},
  citedby = {0},
  pages = {250-272},
  booktitle = {ctcs},
}

@inproceedings{Sanella97,
  title = {What Does the Future Hold for Theoretical Computer Science?},
  author = {Donald Sannella},
  year = {1997},
  tags = {e-science},
  researchr = {https://researchr.org/publication/Sanella97},
  cites = {0},
  citedby = {0},
  pages = {15-19},
  booktitle = {tapsoft},
}

@inproceedings{BidoitST02,
  title = {Global Development via Local Observational Construction Steps},
  author = {Michel Bidoit and Donald Sannella and Andrzej Tarlecki},
  year = {2002},
  url = {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},
}

@article{BidoitST02:1,
  title = {Architectural Specifications in CASL},
  author = {Michel Bidoit and Donald Sannella and Andrzej Tarlecki},
  year = {2002},
  url = {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},
}

@article{SannellaT97,
  title = {Essential Concepts of Algebraic Specification and Program Development},
  author = {Donald Sannella and 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},
}

@inproceedings{BidoitST98,
  title = {Architectural Specifications in CASL},
  author = {Michel Bidoit and Donald Sannella and Andrzej Tarlecki},
  year = {1998},
  url = {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},
}

@article{KahrsST97,
  title = {The Definition of Extended ML: A Gentle Introduction},
  author = {Stefan Kahrs and Donald Sannella and Andrzej Tarlecki},
  year = {1997},
  doi = {10.1016/S0304-3975(96)00163-6},
  url = {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},
}

@article{BidoitST08,
  title = {Observational interpretation of Casl specifications},
  author = {Michel Bidoit and Donald Sannella and Andrzej Tarlecki},
  year = {2008},
  doi = {10.1017/S0960129507006536},
  url = {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},
}
@proceedings{adt:1987,
  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 = {Donald Sannella and Andrzej Tarlecki},
  volume = {332},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
}

@book{BidoitKLOS91,
  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 = {Michel Bidoit and Hans-Jörg Kreowski and Pierre Lescanne and Fernando Orejas and Donald Sannella},
  volume = {501},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54060-1},
}

@proceedings{icalp:2004,
  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 = {Josep Díaz and Juhani Karhumäki and Arto Lepistö and Donald Sannella},
  volume = {3142},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22849-7},
}

@proceedings{tgc:2006,
  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 = {Ugo Montanari and Donald Sannella and Roberto Bruni},
  volume = {4661},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-75333-9},
}