Srba, Jirí. “Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds”. BRICS Report Series, bd. 9, nr. 16, april 2002, doi:10.7146/brics.v9i16.21734.