APA (7th ed.) Citation

Green, A. S. (2010). Towards a formally verified functional quantum programming language.

Chicago Style (17th ed.) Citation

Green, Alexander S. Towards a Formally Verified Functional Quantum Programming Language. 2010.

MLA (9th ed.) Citation

Green, Alexander S. Towards a Formally Verified Functional Quantum Programming Language. 2010.

Warning: These citations may not always be 100% accurate.