TY - BOOK AU - Fitzgerald TI - Validated Designs for Object-oriented Systems SN - 9781852338817 U1 - 5.12 PY - 2004/// PB - Springer N1 - 16526 ER -