Validated designs for object-oriented systems / J. Fitzgerald [et al.], 2005 r=on-line. - Текст : электронный.