Masami Amano Kazuo Iwama Undecidability on Quantum Finite Automata. 368-375 1999 conf/stoc/1999 STOC http://doi.acm.org/10.1145/301250.301344 db/conf/stoc/stoc1999.html#AmanoI99