@Book{BBJ03,
    Author       = "Boolos, G. and Burgess, J. and Jeffrey, R.",
    Year         = "2003",
    Title        = "{Computability and Logic}",
    Publisher    = "Cambridge University Press",
    Comment      = "TPTPRef"
}