Ancillas in quantum computation: beyond two-level systems. - Timothy James Proctor (2016)