Aceto, Luca, Willem Jan Fokkink, Rob J. van Glabbeek, og Anna Ingólfsdóttir. “Nested Semantics over Finite Trees Are Equationally Hard”. BRICS Report Series 10, no. 27 (august 7, 2003). Set maj 20, 2024. https://tidsskrift.dk/brics/article/view/21795.