L. Aceto, W. J. Fokkink, R. J. van Glabbeek, og A. Ingólfsdóttir, “Nested Semantics over Finite Trees are Equationally Hard”, BRICS, bd. 10, nr. 27, aug. 2003.