Publications by 'Jose Meseguer'