Srba, Jirí. “Complexity of Weak Bisimilarity and Regularity for BPA and BPP”. BRICS Report Series 7, no. 16 (January 16, 2000). Accessed January 19, 2026. https://tidsskrift.dk/brics/article/view/20143.