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