Toward an architecture for quantum programming - S. Bettelli; Luciano Serafini; Tommaso Calarco (CoRR, 2001)