Text this: Formalisasi syari'at Islam di Indonesia (studi terhadap gerakan Tarbiyah dan Hizbut Tahrir Indonesia)