"Specification,refinement,and proof" - читать интересную книгу автора (Woodcock J. Using Z. )