Publications by the researcher in collaboration with J. Meseguer (1)