and Andrzej Tarlecki. Foundations of Algebraic Specifications and Formal Software Development (2012)

by Donald Sannella