Aceto, Luca, Willem Jan Fokkink, Anna Ingólfsdóttir, and Sumit Nain. “Bisimilarity Is Not Finitely Based over BPA With Interrupt”. BRICS Report Series 11, no. 24 (October 11, 2004). Accessed April 27, 2024. https://tidsskrift.dk/brics/article/view/21849.