@Book{Arec:intr,
  title =        "Introduction to Computability",
  author =       "C. Areces and P. Blackburn",
  note =         "In preparation",
}