@book{book1,
  title = "Category Theory and Computer Programming",
  year = "1986",
  editor = "S. Abramsky and D. Pitt and A. Poign{\'e} and D. Rydeheard)",
  publisher = "Springer",
}