5. Theoretical Computer Science 1981: Karlsruhe, Germany