and Andrzej Tarlecki. Foundations of Algebraic Specification and Formal Software Development. EATCS Monographs on theoretical computer science (2012)

by Donald Sannella