1. Ahmad, S., Hasan, O., & Siddique, U. (2014a). Towards formal reasoning about molecular pathways in hol. In 2014 IEEE 23rd international WETICE conference, pp. 378-383. IEEE.
2. Ahmad, S., Hasan, O., Siddique, U., & Tahar, S. (2014b). Formalization of Zsyntax to reason about molecular pathways in hol4d. In Brazilian symposium on formal methods (pp. 32–47). Springer.
3. Ahmad, S., Hasan, O., & Siddique, U. (2015). On the formalization of Zsyntax with applications in molecular biology. Scalable Computing: Practice and Experience, 16(1), 37–52.
4. Ankersmit, F. R. (1986). The dilemma of contemporary Anglo-Saxon philosophy of history. History and Theory, 25, 1–27.
5. Ankersmit, F. R., & Kellner, H. H. (Eds.). (1995). A new philosophy of history. Reaktin Book.