Theoretical Computer ScienceAutomata theory based on quantum logic: Reversibilities and pushdown automataDaowen QiuPublished May 25, 2007• 49 citationsPublisherDOI10.1016/j.tcs.2007.05.026