@InCollection{
   Lau&Ornaghi:01a,
   Author = "K.-K. Lau and M. Ornaghi",
   Title = "Logic for component-based software development", 
   BookTitle = "Computational Logic: Logic Programming and Beyond, 
   LNAI 2407",
   Pages = "347-373",
   Editor = "A. Kakas and F. Sadri",
   Year = "2002",
   Publisher = "Springer-Verlag"   }