Klarlund, N., Nielsen, M. and Sunesen, K. (1995) “A Case Study in Automated Verification Based on Trace Abstractions”, BRICS Report Series, 2(54). doi: 10.7146/brics.v2i54.19955.