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