RR-90-010. Reprinted from Informatik fuer den Umweltschutz, W. Pillmann, A. Jaeschke (ed.), Springer-Verlag, Heidelberg, Germany, pp. 733-744 [1990].