Aceto, L., Fokkink, W. J. and Ingólfsdóttir, A. (2000) “2-Nested Simulation is not Finitely Equationally Axiomatizable”, BRICS Report Series, 7(20). doi: 10.7146/brics.v7i20.20147.