Nleng, C. H. (2014). Modélisation et vérification du flux d'information pour les systèmes orientés objets [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible
