System design from provably correct constructs.

MARTIN, J.

Prentice-Hall, Englewood Cliffs, 1985.

ISBN: 013881483X

24 cm. original hardcover, dustjacket. xviii,392 pp. diagrams. references. index. -(some underlinings and highlightings, otherwise (very) good).