"Tests and Proofs, 1 conf., TAP 2007" - читать интересную книгу автора (Bertrand Meyer, Yuri Gurevich)