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