Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures - Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Roever, Willem-Paul de (Springer Berlin Heidelberg, 2005)