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