Jancar, P.; Srba, J. Highly Undecidable Questions for Process Algebras. BRICS 2004, 11.