En tales labores editó en 1729 una "Regia Matritensis Bibliotheca Geographica et Chronologica", el primer catálogo publicado por la Biblioteca Pública Real.