Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings - Beckert, Bernhard; Hähnle, Reiner (Springer Berlin Heidelberg, 2008)