@inbook{Woodcock*2000:Abstract,
  title = "Abstract data types and Processes",
  author = "J. Woodcock and J. Davies and C. Bolton",
  year = "2000",
  crossref = "Davies*2000:Millenial",
}