Publications by authors named "Antonio Augusto Velasco E Cruz"