Nelma Moreira, Giovanni Pighizzini, Rogério Reis: Optimal State Reductions of Automata with Partially Specified Behaviors. SOFSEM 2015: 339-351