Author: Workshop LANSEC '89 (1989 Karlsruhe, Germany)