A tutorial introduction to quantum circuit programming in dependently typed proto-quipper
scientific article; zbMATH DE number 7368053