Mathematics of quantum computation. (©2002)