O infante Dom Henrique. - Pinto, Estêvão, 1895-1968 (Editora Travessa das Mercês, 1960)