Automating the development of quantum computational software. - V. Paul Pauca; Todd C. Torgersen; Y. Abraham; J. Schmitt; R. Harris (ACM Southeast Regional Conference, 2007)