Aceto, Luca, Willem Jan Fokkink, Anna Ingólfsdóttir, og Sumit Nain. “Bisimilarity Is Not Finitely Based over BPA With Interrupt”. BRICS Report Series 11, no. 24 (oktober 11, 2004). Set december 5, 2025. https://tidsskrift.dk/brics/article/view/21849.