P. Jancar og J. Srba, “Highly Undecidable Questions for Process Algebras”, BRICS, bd. 11, nr. 8, apr. 2004.