Methods for proving non-termination of programs. - K. N. Nimkar (2015)