R. Jr., and J. Millen. AFIPS Fall Joint Computing Conference (1), volume 41 of AFIPS Conference Proceedings, page 479-488. AFIPS / ACM / Thomson Book Company, Washington D.C., (1972)
H. Comon-Lundh, S. Delaune, and J. Millen. Formal Models and Techniques for Analyzing Security Protocols, volume 5 of Cryptology and Information Security Series, IOS Press, (2011)