@InCollection{
   Luders&al:02,
   Author = "F. L{\"u}ders and K.-K. Lau and S.M. Ho",
   Title = "Specification of Software Components",
   Booktitle = "Building Reliable Component-based Systems",
   Editor = "I. Crnkovic and M. Larsson",
   Chapter = "2",
   Pages = "23-38",
   Publisher = "Artech House",
   Year = "2002"        }