Double Groupoids and Homotopy 2-types. - Antonio Martínez Cegarra; Benjamín A. Heredia; Josué Remedios (Appl. Categorical Struct., 2012)