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