Elsevier eBooksQuantum logic and automata theoryMingsheng YingPublished Jan 1, 2007• 16 citationsPublisherDOI10.1016/b978-044452870-4/50037-6