Publications by the researcher in collaboration with Andrea Meseguer (1)