Books by Donald Sannella
Introduction to Computation
Introduction to Computation
Programming Languages and Syst
Programming Languages and Systems-Esop '94: 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994
Formal program development in
Formal program development in extended ML for the working programmer
Toward formal development of M
Toward formal development of ML programs
A survey of formal software de
A survey of formal software development methods
Some Thoughts on algebraic spe
Some Thoughts on algebraic specification
Extended ML
Extended ML
Formal specification of ML pro
Formal specification of ML programs
Toward formal development of p
Toward formal development of programs from algebraic specifications