@book{Davies*2000:Millenial,
  title = "Millennial Perspectives in Computer Science",
  year = "2000",
  booktitle = "Millennial Perspectives in Computer Science",
  editor = "J. Davies and A. Roscoe and J. Woodcock",
  publisher = "Palgrave",
}