M. M. Baig. “A Formal Software Testing Technique”. Pakistan Journal of Science 63, no. 4 (December 1, 2011). Accessed April 26, 2026. https://pjosr.com/index.php/pjs/article/view/90.