Engineering the development of quantum programs: Application to the Boolean satisfiability problem. - Diego Alonso; Pedro Sánchez; Francisco Sánchez-Rubio (Adv. Eng. Softw., 2022)