@InProceedings{
   Lau&Ornaghi:01b,
   Author = "K.-K. Lau and M. Ornaghi",
   Title = "Correct object-oriented systems in computational logic",
   BookTitle = "Proc. {LOPSTR} 01, {L}ecture {N}otes in {C}omputer {S}cience
                2372",
   Editor = "A. Pettorossi",
   Pages = "168-190",
   Year = "2002",
   Publisher = "Springer-Verlag"      }