Essential concepts of algebraic specification and program development (1997)

by D Sannella, A Tarlecki
Venue:Formal Asp. Comput