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