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 May 2, 2024. https://tidsskrift.dk/brics/article/view/21900.