Algebraic specification and development. a survey and bibliography.

M. BIDOIT ET Al. (eds).

Springer, Heidelberg/New York, 1991

ISBN: 3540540601

24 cm. original paperback. ISBN 0387540601. references. bibliograhpy, "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good).