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