Return to Article Details Modelling Quantum Software