Bisimilarity is not finitely based over BPA with interrupt
scientific article; zbMATH DE number 5083519
scientific article