On the correctness of a lock-free compression-based elastic mechanism for a hash trie design - Areias, Miguel; Rocha, Ricardo (Computing, 2022)