J. Srba, “Complexity of Weak Bisimilarity and Regularity for BPA and BPP”, BRICS, vol. 7, no. 16, Jan. 2000.