Вильяверде Сирило, каталог книг