HOPE: An Experimental Applicative Language. - Rod M. Burstall; David B. MacQueen; Donald Sannella (LISP Conference, 1980)

Implementation of Parameterised Specifications (Extended Abstract). - Donald Sannella; Martin Wirsing (ICALP, 1982)

Semantics, implementation and pragmatics of Clear, a program specification language. - Donald Sannella (1982)

A Kernel Language for Algebraic Specification and Implementation. - Donald Sannella; Martin Wirsing (ADT, 1983)

Structured Theories in LCF. - Donald Sannella; Rod M. Burstall (CAAP, 1983)

A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. - Donald Sannella; Martin Wirsing (FCT, 1983)

Some Thoughts on Algebraic Specification. - Donald Sannella; Andrzej Tarlecki (ADT, 1984)

Building Specifications in an Arbitrary Institution. - Donald Sannella; Andrzej Tarlecki (Semantics of Data Types, 1984)

A Set-Theoretic Semantics for Clear. - Donald Sannella (Acta Informatica, 1984)

Extended ML: an Institution - Independent Framework for Formal Program Development. - Donald Sannella; Andrzej Tarlecki (CTCS, 1985)

Program Specification and Development in Standard ML. - Donald Sannella; Andrzej Tarlecki (POPL, 1985)

Completeness of Proof Systems for Equational Specifications. - David B. MacQueen; Donald Sannella (IEEE Trans. Software Eng., 1985)

Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract). - Donald Sannella; Andrzej Tarlecki (TAPSOFT, Vol.1, 1987)

On Observational Equivalence and Algebraic Specification. - Donald Sannella; Andrzej Tarlecki (J. Comput. Syst. Sci., 1987)

Formal Development of ML Programs: Methodological Aspects. - Donald Sannella; Andrzej Tarlecki (ADT, 1988)

Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. - Donald Sannella; Andrzej Tarlecki (Acta Informatica, 1988)

Specifications in an Arbitrary Institution - Donald Sannella; Andrzej Tarlecki (Inf. Comput., 1988)

Logic Representation in LF. - Robert Harper 001; Donald Sannella; Andrzej Tarlecki (Category Theory and Computer Science, 1989)

Structure and Representation in LF - Robert Harper 001; Donald Sannella; Andrzej Tarlecki (LICS, 1989)

Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract). - Donald Sannella; Andrzej Tarlecki (TAPSOFT, Vol.2, 1989)

A Kernel Specification Formalism with Higher-Order Parameterization. - Donald Sannella; Andrzej Tarlecki (ADT, 1990)

Extended ML: Past, Present, and Future. - Donald Sannella; Andrzej Tarlecki (ADT, 1990)

Algebraic specification and formal methods for program development: what are the real problems? - Donald Sannella; Andrzej Tarlecki (Bull. EATCS, 1990)

Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. - Bernd Krieg-Brückner; Donald Sannella (TAPSOFT, Vol.2, 1991)

Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations. - Donald Sannella; Andrzej Tarlecki (ICALP, 1992)

Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. - Donald Sannella; Stefan Sokolowski; Andrzej Tarlecki (Acta Informatica, 1992)

A Calculus for the Construction of Modular Prolog Programs. - Donald Sannella; Lincoln A. Wallen (J. Log. Program., 1992)

The Semantics of Extended ML: A Gentle Introduction. - Stefan Kahrs; Donald Sannella; Andrzej Tarlecki (Semantics of Specification Languages, 1993)

Algebraic specification and formal methods for program development: what are the real problems? - Donald Sannella; Andrzej Tarlecki (Current Trends in Theoretical Computer Science, 1993)

Interfaces and Extended ML. - Stefan Kahrs; Donald Sannella; Andrzej Tarlecki (Workshop on Interface Definition Languages, 1994)

Structured Theory Presentations and Logic Representations. - Robert Harper 001; Donald Sannella; Andrzej Tarlecki (Ann. Pure Appl. Log., 1994)

On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic. - Martin Hofmann 001; Donald Sannella (TAPSOFT, 1995)

Foreword: Selected Papers of ESOP'94. - Donald Sannella (Sci. Comput. Program., 1995)

Mind the Gap! Abstract Versus Concrete Models of Specifications. - Donald Sannella; Andrzej Tarlecki (MFCS, 1996)

On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic. - Martin Hofmann 001; Donald Sannella (Theor. Comput. Sci., 1996)

What Does the Future Hold for Theoretical Computer Science? - Donald Sannella (TAPSOFT, 1997)

Essential Concepts of Algebraic Specification and Program Development. - Donald Sannella; Andrzej Tarlecki (Formal Aspects Comput., 1997)

The Definition of Extended ML: A Gentle Introduction. - Stefan Kahrs; Donald Sannella; Andrzej Tarlecki (Theor. Comput. Sci., 1997)

Reflections on the Design of a Specification language. - Stefan Kahrs; Donald Sannella (FASE, 1998)

Pre-logical Relations. - Furio Honsell; Donald Sannella (CSL, 1999)

The Common Framework Initiative for Algebraic Specification and Development of Software. - Donald Sannella (Ershov Memorial Conference, 1999)

Algebraic Specification and Program Development by Stepwise Refinement. - Donald Sannella (LOPSTR, 1999)

Algebraic Methods for Specification and Formal Development of Programs. - Donald Sannella; Andrzej Tarlecki (ACM Comput. Surv., 1999)

Algebraic Preliminaries. - Donald Sannella; Andrzej Tarlecki (Algebraic Foundations of Systems Specification, 1999)

Specification Languages. - Donald Sannella; Martin Wirsing (Algebraic Foundations of Systems Specification, 1999)

Constructive Data Refinement in Typed Lambda Calculus. - Furio Honsell; John Longley; Donald Sannella; Andrzej Tarlecki (FoSSaCS, 2000)

Lax Logical Relations. - Gordon D. Plotkin; John Power; Donald Sannella; Robert D. Tennent (ICALP, 2000)

The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. - Donald Sannella (WADT, 2001)

25 Years. - Giorgio Ausiello; Donald Sannella; Michael W. Mislove (Theor. Comput. Sci., 2001)

From Specifications to Code in CASL. - David Aspinall 001; Donald Sannella (AMAST, 2002)

Global Development via Local Observational Construction Steps. - Michel Bidoit; Donald Sannella; Andrzej Tarlecki (MFCS, 2002)

Unit Testing for CASL Architectural Specifications. - Patrícia D. L. Machado; Donald Sannella (MFCS, 2002)

Toward Component-Oriented Formal Software Development: An Algebraic Approach. - Michel Bidoit; Donald Sannella; Andrzej Tarlecki (RISSEF, 2002)

Architectural Specifications in CASL. - Michel Bidoit; Donald Sannella; Andrzej Tarlecki (Formal Aspects Comput., 2002)

A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science. - David E. Rydeheard; Donald Sannella (Formal Aspects Comput., 2002)

Prelogical Relations. - Furio Honsell; Donald Sannella (Inf. Comput., 2002)

CASL: the Common Algebraic Specification Language. - Egidio Astesiano; Michel Bidoit; Hélène Kirchner; Bernd Krieg-Brückner; Peter D. Mosses; Donald Sannella; Andrzej Tarlecki (Theor. Comput. Sci., 2002)

Semantic and Syntactic Approaches to Simulation Relations. - Jo Erskine Hannay; Shin-ya Katsumata; Donald Sannella (MFCS, 2003)

Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. - Till Mossakowski; Anne E. Haxthausen; Donald Sannella; Andrzej Tarlecki (Comput. Artif. Intell., 2003)

Mobile Resource Guarantees for Smart Devices. - David Aspinall 001; Stephen Gilmore; Martin Hofmann 001; Donald Sannella; Ian Stark (CASSIS, 2004)

A Simple Refinement Language for Casl. - Till Mossakowski; Donald Sannella; Andrzej Tarlecki (WADT, 2004)

Mobile Resource Guarantees (project evaluation paper). - Donald Sannella; Martin Hofmann 001; David Aspinall 001; Stephen Gilmore; Ian Stark; Lennart Beringer; Hans-Wolfgang Loidl; Kenneth MacKenzie; Alberto Momigliano; Olha Shkaravska (Trends in Functional Programming, 2005)

Horizontal Composability Revisited. - Donald Sannella; Andrzej Tarlecki (Essays Dedicated to Joseph A. Goguen, 2006)

Preface. - Donald Sannella (Theor. Comput. Sci., 2006)

Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005). - Donald Sannella; Vladimiro Sassone (Theor. Comput. Sci., 2007)

Observability Concepts in Abstract Data Type Specification, 30 Years Later. - Donald Sannella; Andrzej Tarlecki (Concurrency, Graphs and Models, 2008)

Observational interpretation of Casl specifications. - Michel Bidoit; Donald Sannella; Andrzej Tarlecki (Math. Struct. Comput. Sci., 2008)

Preface. - Ugo Montanari; Donald Sannella (Theor. Comput. Sci., 2008)

Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. - David Aspinall 001; Robert Atkey; Kenneth MacKenzie; Donald Sannella (TGC, 2010)

Foundations of Algebraic Specification and Formal Software Development. - Donald Sannella; Andrzej Tarlecki (Springer, 2012)

Parchments for CafeOBJ Logics. - Till Mossakowski; Wieslaw Pawlowski; Donald Sannella; Andrzej Tarlecki (Specification, Algebra, and Software, 2014)

Property-oriented semantics of structured specifications. - Donald Sannella; Andrzej Tarlecki (Math. Struct. Comput. Sci., 2014)

Modularity of Ontologies in an Arbitrary Institution. - Yazmín Angélica Ibáñez-García; Till Mossakowski; Donald Sannella; Andrzej Tarlecki (Logic, Rewriting, and Concurrency, 2015)

The Foundational Legacy of ASL. - Donald Sannella; Andrzej Tarlecki (Software, Services, and Systems, 2015)

ThreadSafe: Static Analysis for Java Concurrency. - Robert Atkey; Donald Sannella (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation. - Grzegorz Marczynski; Donald Sannella; Andrzej Tarlecki (Int. J. Softw. Informatics, 2015)

TCS in the 21st century. - Giorgio Ausiello; Lila Kari; Grzegorz Rozenberg; Donald Sannella (Theor. Comput. Sci., 2015)

Specification refinements: Calculi, tools, and applications. - Mihai Codescu; Till Mossakowski; Donald Sannella; Andrzej Tarlecki (Sci. Comput. Program., 2017)

On Normal Forms for Structured Specifications with Generating Constraints. - Donald Sannella; Andrzej Tarlecki (Graph Transformation, Specifications, and Nets, 2018)

A Key to Your Heart: Biometric Authentication Based on ECG Signals. - Nikita Samarin; Donald Sannella (CoRR, 2019)

Preface. - Giorgio Ausiello; Lila Kari; Grzegorz Rozenberg; Donald Sannella; Paul G. Spirakis; Pierre-Louis Curien (Theor. Comput. Sci., 2020)

Preface for the special issue in homage to Martin Hofmann Part 1. - Jan Hoffmann 002; Donald Sannella; Ulrich Schöpp (Math. Struct. Comput. Sci., 2021)

Introduction to Computation - Haskell, Logic and Automata - Donald Sannella; Michael Fourman; Haoran Peng; Philip Wadler (Springer, 2021)

Preface for the special issue in homage to Martin Hofmann Part 2. - Jan Hoffmann 002; Donald Sannella; Ulrich Schöpp (Math. Struct. Comput. Sci., 2022)

Rod Bustall: In Memoriam. - J Strother Moore; Gordon D. Plotkin; David E. Rydeheard; Donald Sannella (CoRR, 2025)