Aceto, L.; Fokkink, W. J.; Ingólfsdóttir, A.; Nain, S. Bisimilarity Is Not Finitely Based over BPA With Interrupt. BRICS 2004, 11.