TY - BOOK AU - Henri Habrias TI - Software Specification Methods SN - 9781905209347 U1 - 004.0151 PY - 2006/// CY - UK PB - Antony Rowe ER -