Bieber, P., Boulahia Cuppens, N., Lehmann, T., & van Wickeren, E. (juin 1993). Abstract Machines for Communication Security [Communication écrite]. 6th Computer Security Foundations Workshop, Franconia, NH, USA. Lien externe
