CURRENTLY SOLD OUT

Foundations of Algebraic Specification and Formal Software Development by Donald Sannella, Andrzej Tarlecki (Hardback, 2011)