TY - BOOK AU - Turski,W adys aw AU - Maibaum,Thomas S.E. TI - The specification of computer programs SN - 0201142260 : AV - QA76.76.O47 T87 1987 U1 - 005.1�19 PY - 1987/// CY - Wokingham, England, Reading, Mass. PB - Addison-Wesley KW - Computer software KW - Development KW - Computer programming ER -