. "Dias, António Jorge (1907-1973)"@de .