Jancar, Petr, and Jirí Srba. “Highly Undecidable Questions for Process Algebras”. BRICS Report Series 11, no. 8 (April 11, 2004). Accessed November 27, 2024. https://tidsskrift.dk/brics/article/view/21833.