L. Aceto, W. J. Fokkink, A. Ingólfsdóttir, og S. Nain, “Bisimilarity is not Finitely Based over BPA with Interrupt”, BRICS, bd. 11, nr. 24, okt. 2004.