J. J. Serrão,  "Mascarenhas Neto, José Diogo", in Dicionário Ilustrado da História de Portugal, Lisboa, Publicações Alfa, 1986, vol. 1, pp. 448-448