@InProceedings{
Lau&Ornaghi:98a,
Author = "K.-K. Lau and M. Ornaghi",
Title = "On Specification and Correctness of OOD Frameworks in Component-based 
         Software Development in Computational Logic",
BookTitle = "Proceedings of the First International Workshop on Software 
             Development in Computational Logic, September 1998, Pisa, Italy",
Editor = "A. Brogi and P. Hil",
Year = "1998",
Pages = "59-75"                 }