Chen, Ran, Martin Clochard, and Claude Marché. “A Formally Proved, Complete Algorithm for Path Resolution With Symbolic Links”. Journal of Formalized Reasoning 10, no. 1 (January 1, 2017): 51–66. Accessed April 20, 2024. https://jfr.unibo.it/article/view/6767.