presented at event 15TH COLLOQUIUM ON TREES IN ALGEBRA AND PROGRAMMING ( CAAP 90 ) / 3RD EUROPEAN SYMP ON PROGRAMMING ( ESOP 90 ) Conference