Monin, J., & Huet, G. (1996). Comprendre les méthodes formelles: Panorama et outils logiques. Masson.
Style de citation Chicago (17e éd.)Monin, Jean-François, et Gérard Huet. Comprendre Les Méthodes Formelles: Panorama Et Outils Logiques. Paris ; Milan ; Barcelone: Masson, 1996.
Style de citation MLA (8e éd.)Monin, Jean-François, et Gérard Huet. Comprendre Les Méthodes Formelles: Panorama Et Outils Logiques. Masson, 1996.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.