@Bibtex-file{Techreports/Bonn.V.bib, title = "Bibliography of the technical reports of the Computer Science Department, University of Bonn, Germany", author = "Department of Computer Science", address = "University of Bonn\\ Germany", email = "reports@theory.cs.uni-bonn.de", supported = "yes", copyright = "Department of Computer Science, University of Bonn", } .