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