A brief survey of quantum programming languages
A Lambda Calculus for Quantum Computation