@Bibtex-file{Techreports/Pisa.bib, title = "Bibliography of the technical reports of Pisa University, Italy", author = "Computer Science Department", address = "Pisa University\\ Corso Italia, 40\\ 56125 Pisa\\ Italy", } .