PLEASE WAIT FOR DOWNLOAD "Coalgebraic Minimization of Automata by Initiality and ... - Science Direct"