Foundations of Algebraic Specification and Formal Software Development

Authors:

ISBN: 978-3-642-17335-6 (Print) 978-3-642-17336-3 (Online)