Grattage, Jonathan James (2006) A functional quantum programming language. PhD thesis, University of Nottingham.