@misc{ZIBTätigkeitsbericht 1985, title = {T{\"a}tigkeitsbericht 1985}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, language = {deu}, year = {1986} }