Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 5, 2004, Revised Lectures - Boer, Frank S. (Lecture Notes in Computer Science, 2005)