Engineering the development of quantum programs: Application to the Boolean satisfiability problem | Publicación