"The Specification of Computer Programs" - читать интересную книгу автора (Maibaum T.S.E., Turski W.M.)