The Ehresmann-Schein-Nambooripad Theorem and Its Successors. Eur. J. Pure Appl. Math. 2012, 5 (4), 414-450.