"Practical formal software engineering: wanting the software you get" - читать интересную книгу автора (Bruce Mills)