Canonical Selection of Colimits - Codesci, Mihai; Mossakowski, Till; Rabe, Florian (Recent Trends in Algebraic Development Techniques, 2017)