Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures - Boer, Frank S.de; Boer, Frank S.de; Bonsangue, Marcello; Bonsangue, Marcello; Graf, Susanne; Graf, Susanne; de Roever, Willem-Paul; de Roever, Willem-Paul (Springer Berlin Heidelberg : Imprint: Springer, 2003)