@InProceedings{
   Lau&al:05,
   Author = "K.-K. Lau and A. Momigliano and M. Ornaghi",
   Title = "Constructive Specification of Compositional Units",
   BookTitle = "Proc. LOPSTR 04, LNCS 3573",
   Editor ="S. Etalle",
   Pages = "198-214",
   Publisher = "Springer-Verlag",
   Year = "2005"  }