J. Al-Muhtadi, R. Hill, R. Campbell, und M. Mickunas. Proceedings of the Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, Seite 283-288. IEEE Computer Society, (2006)
R. Canetti, L. Cheung, D. Kaynar, M. Liskov, N. Lynch, O. Pereira, und R. Segala. PROCEEDINGS THE 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING (DISC 2006). VOLUME 4167 OF LNCS., SPRINGER (2006) 238–253 INVITED PAPER, Seite 238--253. Springer, (2006)
A. Datta, A. Derek, J. Mitchell, und 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>.
A. Datta, A. Derek, J. Mitchell, und D. Pavlovic. Proceedings of the 2003 ACM workshop on Formal methods in security engineering, Seite 11--23. New York, NY, USA, ACM, (2003)