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