Aceto, Luca, Silvio Capobianco, and Anna Ingólfsdóttir. “On the Existence of a Finite Base for Complete Trace Equivalence over BPA With Interrupt”. BRICS Report Series 14, no. 5 (February 12, 2007). Accessed April 27, 2024. https://tidsskrift.dk/brics/article/view/21928.