@article{NCD_2007_10_1_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 - 8},
     publisher = {mathdoc},
     volume = {10},
     number = {1},
     year = {2007},
     url = {http://geodesic.mathdoc.fr/item/NCD_2007_10_1_a0/}
}