M. M. Baig. 2011. “A Formal Software Testing Technique”. Pakistan Journal of Science 63 (4). https://doi.org/10.57041/pjs.v63i4.90.