Phan Dinh Dieu On the complexity of the problem of state minimization for incompletely specified sequential automata. 3-17 1975 11 Elektronische Informationsverarbeitung und Kybernetik 1/2 db/journals/eik/eik11.html#Dieu75