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