Geometry of abstraction in quantum computation - Pavlovic, D (OUCL, 2009)