Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2--5, 2004. Revised lectures.
scientific article; zbMATH DE number 5017346