Encycl. de l'informatique et des systèmes d'information, 2006 (art. : Méthodes formelles
pour l'ingénierie des protocoles)
FOLDOC : computing dict. - http://foldoc.org (2010-10-25)
La notation Z / J. M. Spivey, 1994
La spécification formelle avec Z / D. Lightfoot, 1994
The encycl. of computer languages - http://hopl.murdoch.edu.au (2010-10-25)
Le point d'accès ne peut être employé que dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial