and Andrzej Tarlecki. Essential concepts of algebraic specification and program development (1997)

by Donald Sannella
Venue:Formal Aspects of Computing