Bibliotheca arabico-hispana escurialensis - Casiri, Michael