A. Rahmat Rosyadi (2020). Formalisasi syariat Islam dalam perspektif tata hukum Indonesia. .