"Formal Software Development: From VDM to Java" - читать интересную книгу автора (Quentin Charatan, Aaron Kans)