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