Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever: Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science 2852, Springer 2003, ISBN 3-540-20303-6