@InCollection{
   Ho&Lau:06,
   Author = "S.M. Ho and K.-K. Lau",
   Title = "Characterising Object-based Frameworks in First-order 
            Predicate Logic",
   Booktitle = "Mathematical Frameworks for Component Software",
   Editor = "Z. Liu and J. He",
   Chapter = "8",
   Pages = "221-254",
   Publisher = "World Scientific",
   Series = "Component-based Software Development",
   Volume = "2",
   Year = "2006" }