Algebraic specification techniques in object oriented programming environments.

BREU, R.

Springer, Berlin, 1991

ISBN: 3540549722

23 cm. original paperback. 228 pp. bibliography. index. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good).