رضي الدين بن طاوس اسمه علي بن موسى بن جعفر بن محمد بن طاوس.
دار التعارف للمطبوعات - بيروت-ط 1( 1983) , ج: 7- ص: 29
