M. L. Oliveira,  "Judas, José Manuel Miguel", in Dicionário de História de Portugal - o 25 de Abri, Porto, vol. 5, pp. 137-139, 2017