References for Pedro de Mencos