Frank S. de Boer Marcello M. Bonsangue Susanne Graf Willem P. de Roever Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures 3657 2005 3-540-29131-8 FMCO Lecture Notes in Computer Science Springer db/conf/fmco/fmco2004.html