Special issue of VMCAI'03.

Published in: Comput. Lang. Syst. Struct. (2004)