Algebraic specification.

Bibliografische gegevens
Hoofdauteur:	Bergstra, J. A.
Formaat:	Boek
Taal:	English
Gepubliceerd in:	New York ACM Press 1989
Reeks:	ACM Press frontier series
Onderwerpen:	Abstract data types (Computer science)