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