Bisimilarity is not finitely based over BPA with interrupt - ACETO, Luca; FOKKINK, Wan; INGOLFSDOTTIR, Anna; NAIN, Sumit (Algebra and coalgebra in computer science (Swansea, 3-6 September 2005), 2005)
text