Aceto, Luca, Willem Jan Fokkink, Anna Ingólfsdóttir, and Sumit Nain. “Bisimilarity Is Not Finitely Based over BPA With Interrupt”. BRICS Report Series 12, no. 33 (October 11, 2005). Accessed June 13, 2026. https://tidsskrift.dk/brics/article/view/21900.