Text this: K.H. Noer Alie's contribution to the Islamic educational system (1956-1990) /