Quantum information processing with finite resources : mathematical foundations /: mathematical foundations. (2016)