Formalisasi syariat islam dalam perspektif tata hukum indonesia - Rosyadi, A. Rahmat (Ghalia indonesia, 2006)