Algebraic specification techniques and tools for software development - the ACT approach by I. ClaBen, H. Ehrig and D. Wolz, AMAST Series in Computing, Vol 1. World Scientific Publishing Co., USA, 1993, pp 237, £27.00, ISBN 981-02-1227-5

Stephen P. Wilson. Algebraic specification techniques and tools for software development - the ACT approach by I. ClaBen, H. Ehrig and D. Wolz, AMAST Series in Computing, Vol 1. World Scientific Publishing Co., USA, 1993, pp 237, £27.00, ISBN 981-02-1227-5. Knowledge Eng. Review, 11(1):81-82, 1996. [doi]

Abstract

Abstract is missing.