L. Aceto, W. J. Fokkink, and A. Ingólfsdóttir, “2-Nested Simulation is not Finitely Equationally Axiomatizable”, BRICS, vol. 7, no. 20, Aug. 2000.