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