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