Algebraic specification.

Dades bibliogràfiques
Autor principal:	Bergstra, J. A.
Format:	Llibre
Idioma:	English
Publicat:	New York ACM Press 1989
Col·lecció:	ACM Press frontier series
Matèries:	Abstract data types (Computer science)