Formal Methods for Quantum Algorithms2023-08-010 PRE AI DOI:10.1201/9781003090052-7OriginalOriginal request for helpShareSaveAbstract En