Srba, J. (2000). Complexity of Weak Bisimilarity and Regularity for BPA and BPP. BRICS Report Series, 7(16). https://doi.org/10.7146/brics.v7i16.20143