R. Chen, M. Clochard, and C. Marché, “A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links”, JFR, vol. 10, no. 1, pp. 51–66, Jan. 2017.