Algebraic specification.

Podrobná bibliografie
Hlavní autor:	Bergstra, J. A.
Médium:	Kniha
Jazyk:	English
Vydáno:	New York ACM Press 1989
Edice:	ACM Press frontier series
Témata:	Abstract data types (Computer science)