M. M. Baig (2011) “A Formal Software Testing Technique”, Pakistan Journal of Science, 63(4). doi: 10.57041/vol63iss4pp%p.