E. Horlait (Ed.): MATA 2000, LNCS 1931, pp. 243-256, 2000. Springer-Verlag Berlin Heidelberg 2000