(1)
Pedersen, M. D. Logics for The Applied Pi Calculus. BRICS 2006, 13.