@book{compref56,
   author = {B”rger,E},
   year = {1989},
   title = {Computability, Complexity, Logic},
   publisher = {North Holland},
   address = {Amsterdam}
}