Structuring Theories with Implicit Morphisms - Müller, Dennis; Rabe, Florian (2019)