P. Jancar and J. Srba, “Highly Undecidable Questions for Process Algebras”, BRICS, vol. 11, no. 8, Apr. 2004.