Foundations of Algebraic Specification and Formal Software Development by Donald Sannella | Menrva Books | MenrvaBooks