Essential Concepts of Algebraic Specification and Program Development (1997)

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