SAEED, T. et al. 2019. Mapping Formal Methods to Extreme Programming (XP) –A Futuristic Approach. International Journal of Natural and Engineering Sciences. 8, 3 (Jun. 2019), 35–42.