The connection between the fundamental groupoid and a unification algorithm for syntactil algebras (extended abstract) Dana May Latch — 1991 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Categorical constructions in graph theory. Bumby, Richard T.; Latch, Dana May — 1986 International Journal of Mathematics and Mathematical Sciences