@Proceedings{ proc:Verify2001, editor = {Serge Autexier and Heiko Mantel}, title = {Proceedings of the Verification Workshop (VERIFY'01)}, publisher = {Universit\`a degli Studi di Siena}, year = 2001, number = {Technical Report DII 08/01}, address = {Siena, Italy}, month = {June}, note = {Workshop in connection with International Joint Conference on Automated Reasoning, IJCAR'01} }