M. M. Baig, “A Formal Software Testing Technique”, PJS, vol. 63, no. 4, Dec. 2011.