Peter Selinger A Brief Survey of Quantum Programming Languages. 1-6 https://doi.org/10.1007/978-3-540-24754-8_1 2004 conf/flops/2004 FLOPS db/conf/flops/flops2004.html#Selinger04