SAEED, T., S. S. MUHAMMAD, M. A. FAHIEM, S. AHMAD, M. T. PERVEZ, and A. B. DOGAR. “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.