"Software Abstractions: Logic, Language, and Analysis " - читать интересную книгу автора (Daniel Jackson)