Author: J. A. Bergstra; J. Heering; P. Klint .
Title: Algebraic Specification.
Description: Addison Wesley. ACM Frontier Series. 1989. owner's blind book stamp on the flyleaf. Hardcover. Very good. Xiii,397pp.

Keywords: wte com