Jancar, Petr, and Jirí Srba. 2004. “Highly Undecidable Questions for Process Algebras”. BRICS Report Series 11 (8). https://doi.org/10.7146/brics.v11i8.21833.