Tetsuro Nishino Mathematical Models of Quantum Computation. 317-228 2002 20 New Generation Comput. 4 db/journals/ngc/ngc20.html#Nishino02