The file "TSD00def.tex" has been processed in a Linux System. We have used the following commands to generate "TSD00def.ps" using the style "llncs.cls": latex TSD00def.tex latex TSD00def.tex dvips TSD00def.dvi -o TSD00def.ps Ferran Pla fpla@dsic.upv.es