Formal program development. IFIPTC2/WG 2.1 state-of-the-art report.

MÖLLER, B. , H. PARTSCH and S. SCHUMAN. (eds).

Springer, Berlin, 1993

ISBN: 3540574999

23 cm. original paperback. 372 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp on title, otherwise good).