Donald Sannella

• Automata, languages and programming
• Foundations of Algebraic Specification and Formal Software Development
• Foundations Of Algebraic Specification And Formal Software Development
• Programming Languages and Systems - ESOP '94
• A survey of formal software development methods
• Extended ML
• Formal program development in extended ML for the working programmer
• Formal specification of ML programs
• Introduction to Computation
• Programming Languages and Systems-Esop '94: 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994
• Some Thoughts on algebraic specification
• Toward formal development of ML programs