1. Otto-von-Guericke-UniversitätMagdeburg, Fakultät für Informatik, PSF 4120, D-39016 Magdeburg, Germany. E-mail: dassow@iws.cs.uni-magdeburg.de
2. Departamento de Lenguajes y Ciencias de la Computación, Universidad de Málaga Severo Ochoa, 4, Parque Tecnológico de Andalucíe;a, E-29590 Campanillas - Málaga, Spain. E-mail: gema,fjv@geb.uma.es