Quantum software aspects of theory and system design - Exman, Iaakov; Pérez-Castillo, Ricardo 1984-; Piattini, Mario 1966-; Felderer, Michael 1978- (Springer, 2024)