TY  - BOOK
AU  - Ehrig Hartmut Et Al
TI  - Algebraic Specification Techniques and Tools for Software Development: the Act Approach
SN  - 9789814440813
PB  - World Scientific
KW  - Computer Science
UR  - https://www.worldscientific.com/worldscibooks/10.1142/1877#t=toc
ER  -