1. Department of Mathematics and Physics, University of Joensuu, P. O. Box 111, SF-80101 Joensuu 10, Finland
2. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe, Postfach 6380, 7500 Karlsruhe 1, West Germany