Yao.jl: Extensible, Efficient Framework for Quantum Algorithm Design. - Xiu-Zhe Luo; Jin-Guo Liu; Pan Zhang; Lei Wang (Quantum, 2020)