TY  - BOOK
AU  - Backhouse, Roland C.
AU  - Quiniou, R.
TI  - Construction et vérification de programmes 
T2  - (Manuels informatiques massson)
SN  - 2225816603
CY  - Paris
N1  - Includes index
ER  -