اثبات العقوبات بالقياس - النملة، عبد الكريم بن علي (مكتبة الرشد،, 1990)