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