Professor Jorge Dias. Biografia e bibliografia - Veiga de Oliveira, Ernesto