Pedersen, M. D. (2006). Logics for The Applied pi Calculus. BRICS Report Series, 13(19). https://doi.org/10.7146/brics.v13i19.21923