Even with direct mutual references between some node type this can be represented in a lazy functional language such as Haskell pretty easily without mutation.