Publications by the researcher in collaboration with Antonio J. García Meseguer (1)