Foundations of Algebraic Specification and Formal Software Development - SpringerLink (Online service)