Source: https://www.cse.iitk.ac.in/users/karkare/MTP/2013-14/sonam2014testgen.pdf