Catherine Dubois Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings 5668 2009 http://dx.doi.org/10.1007/978-3-642-02949-3 978-3-642-02948-6 TAP Lecture Notes in Computer Science Springer db/conf/tap/tap2009.html