CONSTRUCTING SPECIFICATIONS.
Language: eng
Notes: WOODCOCK-SPECIFICATION,REFINEMENT AND PROOF CH.8.