Algebraic specification
Bergstra, J. A.
Heering, J.
Klint, P.
New York ACM Wokingham Addison-Wesley
c1989
Bibliography: p381-390. - Includes index
Electronic digital computers
Electronic data processing
Algebra.