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