N. Klarlund, M. Nielsen, og K. Sunesen, “A Case Study in Automated Verification Based on Trace Abstractions”, BRICS, bd. 2, nr. 54, nov. 1995.