Algebraic Specification Techniques and Tools for Software Development: The Act Approach
Ingo Claβen, Hartmut Ehrig, Dietmav Wolz · Amast series in computing · 1993
Algebraic specfication as formal method for software development ACT one - a language for parameterized specification ACT two - a language for module specification the ACT environment. Appendix: algebraic concepts and operational semantics.