M. M. Baig. A Formal Software Testing Technique. PJS 2011, 63.