Bala Ravikumar On Some Variations of Two-Way Probabilistic Finite Automata Models. 443-454 2006 conf/dlt/2006 Developments in Language Theory http://dx.doi.org/10.1007/11779148_40 db/conf/dlt/dlt2006.html#Ravikumar06