Srba, Jirí. “Complexity of Weak Bisimilarity and Regularity for BPA and BPP”. BRICS Report Series, bd. 7, nr. 16, januar 2000, doi:10.7146/brics.v7i16.20143.