Chen, R.; Clochard, M.; Marché, C. A Formally Proved, Complete Algorithm for Path Resolution With Symbolic Links. JFR 2017, 10, 51-66.