Davydov, O. V. 1995. “A Theorem about Snakes for Weak Cartesian Systems”. Ukrains’kyi Matematychnyi Zhurnal 47 (3): 315–321. https://umj.imath.kiev.ua/index.php/umj/article/view/5419.