Srba, J. “Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds”. BRICS Report Series, vol. 9, no. 16, Apr. 2002, doi:10.7146/brics.v9i16.21734.