@book{book3,
  title = "Proceedings of {TAPSOFT} 91",
  year = "1991",
  editor = "S. Abramsky and T. S. E. Maibaum",
  publisher = "Springer Lecture Notes in Computer Science",
  volume = "493-494",
}