Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures - Boer, Frank S (Verfasser); Bonsangue, Marcello M (Verfasser); Graf, Susanne (Verfasser); Roever, Willem-Paul (Verfasser) (Lecture Notes in Computer Science, 2004)