Algebraic Specification Techniques and Tools for Software Development: the Act Approach - Ehrig Hartmut Et Al (World Scientific, 1993)
Keywords: Computer Science