Lago, Rioli, 2015. Applicative Bisimulation and Quantum λ-Calculi, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-319-24644-4_4