L. Aceto, W. J. Fokkink, og A. Ingólfsdóttir, “2-Nested Simulation is not Finitely Equationally Axiomatizable”, BRICS, bd. 7, nr. 20, aug. 2000.