أربعون الطاوسي، سماه شرح الاستقامة للمقبلين على الله سبحانه وتعالى وعلى دار الإقامة.
(ط) التونكي: معجم المصنفين 4: 421، حاجي خليفة: كشف الظنون 56 إبراهيم الحضرمي (000 - 584 ه‍) (000 - 1188 م) إبراهيم بن محمد بن منذر بن سعيد بن مالكون الحضرمي، الإشبيلي (أبو إسحاق) نحوي، لغوي. من مؤلفاته: ايضاح المنهج في الجمع بين كتابي التنبيه والمبهج لابن جني، النكت على تبصرة الصيمري في النحو، وشرح الحماسة لأبي تمام.
(خ) الصفدي: الوافي 5: 84 (ط) السيوطي: بغية الوعاة 188، حاجي خليفة: كشف الظنون 339، 692، سيد: فهرس المخطوطات المصورة 1: 342، البغدادي: ايضاح المكنون 1: 158.
التونكي: معجم المصنفين 4: 398، 399 إبراهيم الحائري (توفي في حدود 1300 ه‍) (1883 م) إبراهيم بن محمد الموسوي، الدزفولي المولد، الحائري المسكن، عالم، فقيه. من تصانيفه: تعليقة على الحدائق، ورسالة في العقائد.
(ط) آغا بزرك: أعلام الشيعة 2: 22، 23، العاملي: أعيان الشيعة 5: 464 إبراهيم السروي (358 - 458 ه‍) (969 - 1066 م) إبراهيم بن محمد بن موسى بن هارون ابن الفضل بن هارون المطهري (1) السروي (2) الشافعي (أبو إسحاق) ولد بسارية. وقدم بغداد، وتوفي في صفر عن مائة سنة. له تصانيف كثيرة في المذهب، والخلاف، والأصول، والفرائض.
(خ) الذهبي: سير النبلاء 11: 180، ابن الصلاح: طبقات ق 30 / 2، الأسنوي:
طبقات الشافعية ق 17، الصفدي: الوافي 5:
80، 81 (ط) السمعاني: الأنساب ق 543 / 2، السبكي: طبقات الشافعية 2: 114، التونكي، معجم المصنفين 4: 399، 400 إبراهيم الموصلي (000 - 577 ه‍) (000 - 1181 م) إبراهيم بن محمد الموصلي (أبو إسحاق) من أرباب الوعظ والارشاد. له الجواهر في المواعظ.
(ط) البغدادي: ايضاح المكنون 1: 378؟، حاجي خليفة: كشف الظنون 618