A José Estevão by Pato, Raimundo António de Bulhão
 is a Project Gutenberg book, now on Github.