Foundations Of Algebraic Specification And Formal Software Development door Andrzej Tarlecki