Aceto, L., W. J. Fokkink, and A. Ingólfsdóttir. “2-Nested Simulation Is Not Finitely Equationally Axiomatizable”. BRICS Report Series, vol. 7, no. 20, Aug. 2000, doi:10.7146/brics.v7i20.20147.