Hellis Tamm On Transition Minimality of Bideterministic Automata. 411-421 2007 conf/dlt/2007 Developments in Language Theory http://dx.doi.org/10.1007/978-3-540-73208-2_38 db/conf/dlt/dlt2007.html#Tamm07