| 2003 | MFCS | Semantic and Syntactic Approaches to Simulation Relations. | Jo Erskine Hannay, Shin-ya Katsumata, Donald Sannella |
| 2002 | MFCS | Global Development via Local Observational Construction Steps. | Michel Bidoit, Donald Sannella, Andrzej Tarlecki |
| 2002 | MFCS | Unit Testing for CASL Architectural Specifications. | Patrcia D. L. Machado, Donald Sannella |
| 2000 | FOSSACS | Constructive Data Refinement in Typed Lambda Calculus. | Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki |
| 2000 | ICALP | Lax Logical Relations. | Gordon D. Plotkin, John Power, Donald Sannella, Robert D. Tennent |
| 1999 | CSL | Pre-logical Relations. | Furio Honsell, Donald Sannella |
| 1999 | LOPSTR | Algebraic Specification and Program Development by Stepwise Refinement. | Donald Sannella |
| 1998 | FASE | Reflections on the Design of a Specification language. | Stefan Kahrs, Donald Sannella |
| 1996 | MFCS | Mind the Gap! Abstract Versus Concrete Models of Specifications. | Donald Sannella, Andrzej Tarlecki |
| 1992 | ICALP | Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations. | Donald Sannella, Andrzej Tarlecki |
| 1989 | LICS | Structure and Representation in LF | Robert Harper, Donald Sannella, Andrzej Tarlecki |
| 1985 | POPL | Program Specification and Development in Standard ML. | Donald Sannella, Andrzej Tarlecki |
| 1983 | FCT | A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. | Donald Sannella, Martin Wirsing |
| 1982 | ICALP | Implementation of Parameterised Specifications (Extended Abstract). | Donald Sannella, Martin Wirsing |