@InProceedings{
   Lau&Ornaghi:04,
   Author = "K.-K. Lau and M. Ornaghi",
   Title = "Specifying Compositional Units for Correct Program 
            Development in Computational Logic",
   BookTitle = "Program Development in Computational Logic, 
                Lecture Notes in Computer Science 3049",
   Editor = "{M. Bruynooghe and K.-K. Lau}",
   Year = "2004",
   Pages = "1-29",
   Publisher = "Springer-Verlag"   }