MPI for Informatics, Max Planck Society (Ed.).(1995). Second Progress Report: 1993 - 1995. Saarbrücken: Max-Planck-Institut für Informatik.