"Specification of Software Systems, Second Edition" - читать интересную книгу автора (V.S. Alagar, K. Periyasamy)