4. STACS 1987: Passau, Germany