Forschungsberichte des Fachbereichs Informatik der Universität Dortmund = Research reports (1985)