J. J. Serrão,  "Ribeiro Sanches, António", in Dicionário Ilustrado da História de Portugal, Lisboa, Publicações Alfa, 1986, vol. 2, pp. 173-174