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