Sergio Maffeis, Iain Phillips: On the Computational Strength of Pure Ambient Calculi. EXPRESS 2003: 29-49