1. Ali J Abhari , Arvin Faruque , Mohammad J Dousti , Lukas Svec , Oana Catu , Amlan Chakrabati , Chen-Fu Chiang , Seth Vanderwilt , John Black , and Fred Chong . 2012 . Scaffold: Quantum programming language. Princeton Univ NJ Dept of Computer Science . Ali J Abhari, Arvin Faruque, Mohammad J Dousti, Lukas Svec, Oana Catu, Amlan Chakrabati, Chen-Fu Chiang, Seth Vanderwilt, John Black, and Fred Chong. 2012. Scaffold: Quantum programming language. Princeton Univ NJ Dept of Computer Science.
2. Quantum supremacy using a programmable superconducting processor
3. Relational proofs for quantum programs
4. The Logic of Quantum Mechanics