L. Aceto, S. Capobianco, og A. Ingólfsdóttir, “On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt”, BRICS, bd. 14, nr. 5, feb. 2007.