1.
, . Construction et vérification de programmes. Paris, London: Masson; 1989.
et . Construction et vérification de programmes. Paris, London : Masson, 2 juin 1989. ISBN 2-225-81660-3
Backhouse Roland Carl & Quiniou René. (1989). Construction et vérification de programmes. Masson.
Style de citation MLA (8e éd.)Backhouse Roland Carl et Quiniou René. Construction Et Vérification De Programmes. Masson, 1989.
Attention : ces citations peuvent ne pas être correctes à 100%.