Donald__Sannella
A kernel specification formalism with higher-order parameterisation
Algebraic specification and program development by stepwise refinement
Extended ML: an institution-independent framework for formal program development
Extended ML: past, present and future
Structuring specifications in-the-large and in-the-small: higher-order functions, dependent types and inheritance
Toward formal development of programs from algebraic specifications: implementations revisited