L. Aceto, W. J. Fokkink, A. Ingólfsdóttir, and S. Nain, “Bisimilarity is not Finitely Based over BPA with Interrupt”, BRICS, vol. 11, no. 24, Oct. 2004.