The Space and Motion of Communicating Agents. Robin Milner. Cambridge University Press, 2009, ISBN 9780521738330, 2008 draft.
doi.org
dx.doi.org
Curien, Pierre-Louis (2007). «Definability and Full Abstraction». Electronic Notes in Theoretical Computer Science (Papers in honour of Gordon Plotkin: Elsevier) 172: 301–310. doi:10.1016/j.entcs.2007.02.011.