Books

Books : reviews

J. A. Bergstra, J. Heering, P. Klint.
Algebraic Specification.
Addison-Wesley/ACM press. 1989