@PHDTHESIS{Gia93,
  author = {Di Gianantonio, Pietro},
  title = {A Functional Approach to Computability on Real Numbers},
  school = {Universit\`{a} di Pisa-Genova-Udine},
  year = {1993},
  type = {Dottorato di ricerca in informatica},
  address = {Udine},
  month = jun,
  keywords = {bib,cca,dom}
}