“A New National Holiday Replaces the Old: October 6th Instead of July 23nd”. Jama’a: An Interdisciplinary Journal of Middle East Studies, vol. 9, Jan. 2002, pp. 183-9, https://doi.org/10.64166/fjbmc625.