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