«لغت نامه دهخدا»
[بَ بَ نی یَ] (اِخ) شهری است بزرگ به اندلس. و شهری است سرحدی که مرز میان مسلمین و رومیان بود و آنرا توابع و قلعه هاست و دارای مردمی زبر و زرنگ و جنگی است و در مشرق اندلس قرار دارد فرنگیان آنرا از دست مسلمین گرفته اند و تاکنون در دست آنان است. (معجم البلدان).