Aceto, Luca, et al. “On the Existence of a Finite Base for Complete Trace Equivalence over BPA With Interrupt”. BRICS Report Series, vol. 14, no. 5, Feb. 2007, doi:10.7146/brics.v14i5.21928.