Bernhard Beckert Reiner Hähnle Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings 4966 2008 978-3-540-79123-2 TAP Lecture Notes in Computer Science Springer db/conf/tap/tap2008.html