J. Srba, “Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds”, BRICS, bd. 9, nr. 16, apr. 2002.