A. Datta, A. Derek, J. Mitchell, и D. Pavlovic. Proceedings of the 2003 ACM workshop on Formal methods in security engineering, стр. 11--23. New York, NY, USA, ACM, (2003)
A. Datta, A. Derek, J. Mitchell, и A. Roy. Electronic Notes in Theoretical Computer Science, 172 (0):
311 - 358(2007)<ce:title>Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin</ce:title>.
J. Al-Muhtadi, R. Hill, R. Campbell, и M. Mickunas. Proceedings of the Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, стр. 283-288. IEEE Computer Society, (2006)