KH. Ahmad Dimyati (2020). Metode Penetapan Hukum Islam. Elex Media Komputindo.