M. M. Baig. “A Formal Software Testing Technique”. Pakistan Journal of Science, vol. 63, no. 4, Dec. 2011, doi:10.57041/pjs.v63i4.90.