Foundations of Algebraic Specification and Formal Software Development 2 authors - Hardback £105.50 Find out more