FEIJS, L.M.G., JONKERS, H.B.M.
Formal specification and design.
Cambridge, UP, 1992.
(XVI) 335 pp. Hardcover. (CTTCS, 35) *good condition*
Boeknummer 597833 € 20.00