"Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science)" - читать интересную книгу автора (Bernhard Beckert, Reiner Hahnle)