HOPE: An experimental applicative language RM Burstall, DB MacQueen, DT Sannella Proceedings of the 1980 ACM conference on LISP and functional programming …, 1980 | 570 | 1980 |

Specifications in an arbitrary institution D Sannella, A Tarlecki Information and computation 76 (2-3), 165-210, 1988 | 333 | 1988 |

Toward formal development of programs from algebraic specifications: implementations revisited D Sannella, A Tarlecki Acta Informatica 25, 233-281, 1988 | 313* | 1988 |

CASL: the common algebraic specification language E Astesiano, M Bidoit, H Kirchner, B Krieg-Brückner, PD Mosses, ... Theoretical Computer Science 286 (2), 153-196, 2002 | 309 | 2002 |

A kernel language for algebraic specification and implementation extended abstract D Sannella, M Wirsing Foundations of Computation Theory: Proceedings of the 1983 International FCT …, 1983 | 269 | 1983 |

Foundations of algebraic specification and formal software development D Sannella, A Tarlecki Springer Science & Business Media, 2012 | 244 | 2012 |

Essential concepts of algebraic specification and program development D Sannella, A Tarlecki Formal Aspects of Computing 9, 229-269, 1997 | 164 | 1997 |

On observational equivalence and algebraic specification D Sannella, A Tarlecki Journal of Computer and System Sciences 34 (2-3), 150-178, 1987 | 155 | 1987 |

Toward formal development of programs from algebraic specifications: parameterisation revisited D Sannella, S Sokolowski, A Tarlecki Acta Informatica 29, 689-736, 1992 | 138 | 1992 |

The definition of Extended ML: A gentle introduction S Kahrs, D Sannella, A Tarlecki Theoretical Computer Science 173 (2), 445-484, 1997 | 132 | 1997 |

Algebraic system specification and development: A survey and annotated bibliography M Bidoit, HJ Kreowski, P Lescanne, F Orejas, D Sannella Springer Berlin Heidelberg, 1991 | 102 | 1991 |

Deduction: automated logic W Bibel, S Hölldobler, G Neugebauer, D Sannella Academic Press, 1993 | 101 | 1993 |

Toward formal development of ML programs: foundations and methodology D Sannella, A Tarlecki University of Edinburgh, Department of Computer Science, Laboratory for …, 1989 | 100 | 1989 |

Extended ML: an institution-independent framework for formal program development D Sannella, A Tarlecki Category Theory and Computer Programming: Tutorial and Workshop, Guildford …, 1986 | 99 | 1986 |

Structured theories in LCF DT Sannella, RM Burstall CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9 …, 1983 | 97 | 1983 |

Structured theory presentations and logic representations R Harper, D Sannella, A Tarlecki Annals of Pure and Applied Logic 67 (1-3), 113-160, 1994 | 92 | 1994 |

Implementation of parameterised specifications D Sannella, M Wirsing Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July …, 1982 | 88 | 1982 |

Mobile resource guarantees for smart devices D Aspinall, S Gilmore, M Hofmann, D Sannella, I Stark Construction and Analysis of Safe, Secure, and Interoperable Smart Devices …, 2005 | 87 | 2005 |

Formal program development in Extended ML for the working programmer D Sannella University of Edinburgh, Department of Computer Science. Laboratory for …, 1989 | 81 | 1989 |

A calculus for the construction of modular Prolog programs DT Sannella, LA Wallen The Journal of logic programming 12 (1-2), 147-177, 1992 | 67 | 1992 |