Cook, B. and Fuhs, Carsten and Nimkar, K. and O'Hearn, P. (2014) Disproving termination with overapproximation. In: UNSPECIFIED (ed.) Formal Methods in Computer-Aided Design (FMCAD 2014). IEEE Computer Society, pp. 67-74. ISBN 9780983567844.