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