Alvim, M.S. Chatzikokolakis, K. McIver, A. Morgan, C. Palamidessi, C. Smith, G., Program algebra for QIF, Information Security and Cryptography, 283-305, 2020, Springer Science and Business Media Deutschland GmbH,