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