To appear. A preliminary version is available as (1992)

by Springer-Verlag LNCS