1. A preview of Bristlecone Google’s new quantum processor. https://ai.googleblog.com/2018/03/a-preview-of-bristlecone-googles-new.html. A preview of Bristlecone Google’s new quantum processor. https://ai.googleblog.com/2018/03/a-preview-of-bristlecone-googles-new.html.
2. Google Cirq. https://github.com/quantumlib/Cirq. Google Cirq. https://github.com/quantumlib/Cirq.
3. IBM Q Devices and Simulators. https://www.research.ibm.com/ibm-q/technology/devices/. IBM Q Devices and Simulators. https://www.research.ibm.com/ibm-q/technology/devices/.
4. Strengths and Weaknesses of Quantum Computing
5. Local Action and Abstract Separation Logic