<bibliography>
 <citation type="article" key="B97">
  <author>E. <surname>Bernstein</surname></author>
  <author>V. <surname>Vazirani</surname></author>
  <year>1997</year>
  <title>Quantum complexity theory</title>
  <journal>SIAM Journal on Computing</journal>
  <volume>26</volume>
  <pages>1411&#8211;1473</pages>
  <doi>10.1137/S0097539796300921</doi>
 </citation>
 <citation type="article" key="D85">
  <author>D. <surname>Deutsch</surname></author>
  <year>1985</year>
  <title>Quantum theory, the Church-Turing principle and the universal quantum computer</title>
  <journal>In:Proc. of the Royal Society of London A</journal>
  <volume>400</volume>
  <pages>97&#8211;117</pages>
  <doi>10.1098/rspa.1985.0070</doi>
 </citation>
 <citation type="book" key="DP00">
  <author>A. <surname>Dvure&#x010d;enskij</surname></author>
  <author>S. <surname>Pulmannov&#225;</surname></author>
  <year>2000</year>
  <title>New Trends in Quantum Structures</title>
  <publisher>Kluwer, Dordrecht; Ister Science, Bratislava</publisher>
 </citation>
 <citation type="article" key="FB94">
  <author>D. J. <surname>Foulis</surname></author>
  <author>M. K. <surname>Bennett</surname></author>
  <year>1994</year>
  <title>Effect algebras and unsharp quantum logics</title>
  <journal>Foundations of Physics</journal>
  <volume>24</volume>
  <pages>1331&#8211;1352</pages>
  <doi>10.1007/BF02283036</doi>
 </citation>
 <citation type="article" key="G96">
  <author>R. <surname>Giuntini</surname></author>
  <year>1996</year>
  <title>Quantum MV algebras</title>
  <journal>Studia logica</journal>
  <volume>56</volume>
  <pages>393&#8211;417</pages>
  <doi>10.1007/BF00372773</doi>
 </citation>
 <citation type="article" key="G95">
  <author>S. <surname>Gudder</surname></author>
  <year>1995</year>
  <title>Total extensions of effect algebras</title>
  <journal>Foundations of Physics Letters</journal>
  <volume>8</volume>
  <pages>243&#8211;252</pages>
  <doi>10.1007/BF02187348</doi>
 </citation>
 <citation type="article" key="L08">
  <author>Y. M. <surname>Li</surname></author>
  <year>2008</year>
  <title>Fuzzy Turing machines: variants and universality</title>
  <journal>IEEE Transactions on Fuzzy Systems</journal>
  <volume>16</volume>
  <number>6</number>
  <pages>1491&#8211;1502</pages>
  <doi>10.1109/TFUZZ.2008.2004990</doi>
 </citation>
 <citation type="article" key="Li10">
  <author>Y. M. <surname>Li</surname></author>
  <year>2010</year>
  <title>Finite automata based on quantum logic and monadic second-order quantum logic</title>
  <journal>Science China Series F: Information Sciences</journal>
  <volume>53</volume>
  <number>1</number>
  <pages>101&#8211;114</pages>
  <doi>10.1007/s11432-010-0003-2</doi>
 </citation>
 <citation type="article" key="P11">
  <author>S. <surname>Perdrix</surname></author>
  <year>2011</year>
  <title>Partial observation of quantum Turing machines and a weaker well-formedness condition</title>
  <journal>Electronic Notes in Theoretical Computer Science</journal>
  <volume>270</volume>
  <number>1</number>
  <pages>99&#8211;111</pages>
  <doi>10.1016/j.entcs.2011.01.009</doi>
 </citation>
 <citation type="article" key="P07">
  <author>S. <surname>Perdrix</surname></author>
  <author>P. <surname>Jorrand</surname></author>
  <year>2006</year>
  <title>Classically-controlled quantum computation</title>
  <journal>Mathematical Structures in Computer Science</journal>
  <volume>16</volume>
  <pages>601&#8211;620</pages>
  <doi>10.1017/S096012950600538X</doi>
 </citation>
 <citation type="article" key="Q04">
  <author>D. W. <surname>Qiu</surname></author>
  <year>2004</year>
  <title>Automata theory based on quantum logic: some characterizations</title>
  <journal>Information and Computation</journal>
  <volume>190</volume>
  <pages>179&#8211;195</pages>
  <doi>10.1016/j.ic.2003.11.003</doi>
 </citation>
 <citation type="article" key="S11">
  <author>Y. <surname>Shang</surname></author>
  <author>X. <surname>Lu</surname></author>
  <author>R. Q. <surname>Lu</surname></author>
  <year>2012</year>
  <title>A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata</title>
  <journal>Theoretical Computer Science</journal>
  <volume>434</volume>
  <pages>53&#8211;86</pages>
  <doi>10.1016/j.tcs.2012.02.018</doi>
 </citation>
 <citation type="article" key="S09">
  <author>Y. <surname>Shang</surname></author>
  <author>X. <surname>Lu</surname></author>
  <author>R.Q. <surname>Lu</surname></author>
  <year>2009</year>
  <title>Automata theory based on unsharp quantum logic</title>
  <journal>Mathematical Structures in Computer Science</journal>
  <volume>19</volume>
  <pages>737&#8211;756</pages>
  <doi>10.1017/S0960129509007701</doi>
 </citation>
 <citation type="article" key="W02">
  <author>J. <surname>Wiedermann</surname></author>
  <year>2002</year>
  <title>Fuzzy Turing machines revised</title>
  <journal>Comput. Artificial Intelligence</journal>
  <volume>21</volume>
  <number>3</number>
  <pages>1&#8211;13</pages>
 </citation>
 <citation type="incollection" key="Y07">
  <author>M. S. <surname>Ying</surname></author>
  <year>2007</year>
  <title>Quantum logic and automata theory</title>
  <editor>Dov <surname>Gabbay</surname></editor>
  <editor>Daniel <surname>Lehmanm</surname></editor>
  <editor>Kurt <surname>Engesser</surname></editor>
  <booktitle>Handbook of quantum structures and quantum logic</booktitle>
  <publisher>North-Holland(Elservier)</publisher>
  <pages>619–&#8211;754</pages>
  <doi>10.1016/B978-044452870-4/50037-6</doi>
 </citation>
</bibliography>
