Frank S. de Boer Marcello M. Bonsangue Susanne Graf Willem P. de Roever Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures 4709 2007 978-3-540-74791-8 FMCO Lecture Notes in Computer Science Springer db/conf/fmco/fmco2006.html