Mika Hirvensalo Sebastian Seibert Lower Bounds for Las Vegas Automata by Information Theory. 39-49 2003 37 ITA 1 http://dx.doi.org/10.1051/ita:2003007 db/journals/ita/ita37.html#HirvensaloS03