A. Kogan, and E. Petrank. Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, page 141--150. New York, NY, USA, ACM, (2012)
A. Datta, A. Derek, J. Mitchell, and D. Pavlovic. Proceedings of the 2003 ACM workshop on Formal methods in security engineering, page 11--23. New York, NY, USA, ACM, (2003)
A. Datta, A. Derek, J. Mitchell, and 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>.