Formalisasi Syariat Islam dalam Perspektif Tata Hukum IndonesiaA. Rahmat Rosyadi dan H.M Rais Ahmad - Rosyadi, A. Rahmat (Ghalia Indonesia, 2006)