@phdthesis{Wissmann2020, author = {Thorsten Wißmann}, title = {Coalgebraic Semantics and Minimization in Sets and Beyond}, type = {doctoralthesis}, school = {Friedrich-Alexander-Universit{\"a}t Erlangen-N{\"u}rnberg (FAU)}, year = {2020}, }