Algebraic specification.

Bibliographic Details
Main Author:	Bergstra, J. A.
Format:	Book
Language:	English
Published:	New York ACM Press 1989
Series:	ACM Press frontier series
Subjects:	Abstract data types (Computer science)