Introduction to ComputationDonald Sannella, Michael Fourman, Haoran Peng, Philip Wadler · First published 2021Open the Tome
Mathematical Foundations of Computer Science 2015Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella · First published 2015Open the Tome
Foundations of Algebraic Specification and Formal Software DevelopmentDonald Sannella · First published 2012Open the Tome
Automata, languages and programmingJosep Diaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella · First published 2004Open the Tome
Programming Languages and Systems-Esop '94: 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994Donald Sannella · First published 1994Open the Tome
Formal program development in extended ML for the working programmerDonald Sannella · First published 1989Open the Tome
Toward formal development of programs from algebraic specificationsDonald Sannella · First published 1986Open the Tome
Semantics, implementation and pragmatics of Clear, a program specification languageDonald Theodore Sannella · First published 1982Open the Tome
