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