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