Jaime de Magalhães Lima by Agostinho, José
 is a Project Gutenberg book, now on Github.