presented at event 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98) Conference