Aceto, Luca, Willem Jan Fokkink, and Anna Ingólfsdóttir. 2000. “2-Nested Simulation Is Not Finitely Equationally Axiomatizable”. BRICS Report Series 7 (20). https://doi.org/10.7146/brics.v7i20.20147.