SAEED, Tasmia, et al. “Mapping Formal Methods to Extreme Programming (XP) –A Futuristic Approach”. International Journal of Natural and Engineering Sciences, vol. 8, no. 3, June 2019, pp. 35-42, https://ijnes.org/index.php/ijnes/article/view/212.