Foundations of Algebraic Specification and Formal Program Development (Cambridge Tracts in Theoretical Computer Science) | lit.salon