"Practical Formal Software Engineering: Wanting the Software You Get" - читать интересную книгу автора (Bruce Mills)