Srba, J. “Complexity of Weak Bisimilarity and Regularity for BPA and BPP”. BRICS Report Series, vol. 7, no. 16, Jan. 2000, doi:10.7146/brics.v7i16.20143.