@article{NCD_2007_10_a0,
     author = {F. Kamareddine and M. Maarek and K. Retel and J.B. Wells},
     title = {Digitised {Mathematics:} {Computerisation} vs. {Formalization}},
     journal = {Review of the National Center for Digitization},
     pages = {1 },
     publisher = {mathdoc},
     volume = {10},
     year = {2007},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/NCD_2007_10_a0/}
}