@book{book4,
  editor = "S. Abramsky and D. Gabbay and T. S. E. Maibaum",
  note = "Volumes 1 and 2---Background: Mathematical Structures and Back- ground: Computational Structures---published in 1992. Volumes 3 and 4---Semantic Structures and Semantic Modelling--- published in 1995. Volume 5---Logic and Algebraic Methods",
  publisher = "Oxford University Press",
  title = "The Handbook of Logic in Computer Science",
  year = "2000",
}