J. Srba, “Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds”, BRICS, vol. 9, no. 16, Apr. 2002.