"Specifying Software: A Hands-On Introduction" - читать интересную книгу автора (R. D. Tennent)