[1] J.-R. Abrial. The B-Book, assigning programs to meaning. Cambridge University Press, 1996.
[ bib ]
[2] J.B. Wordsworth. Software Engineering with B. Addison-Wesley, 1996.
[ bib ]
[3] B. W. Kernighan and R. Pike. La Programmation en pratique. Langages-Programmation. Vuibert Informatique, 2001.
[ bib ]
[4] B. W. Kernighan and D. M. Ritchie. Le langage C, Norme ANSI. Langages. Dunod, 2ème edition, 2000.
[ bib ]
[5] M. Metcalf and J. Reid. FORTRAN 90/95 explained. Oxford Science Publications, 1996.
[ bib ]
[6] M. Metcalf. Effective Fortran 77. Oxford Science Publications, 1985.
[ bib ]
[7] A.C. Marshall. Fortran 90 Course notes. The University of Liverpool, 1997. http://www.liv.ac.uk/HPC/F90CourseIntro3DayHomePage.html.
[ bib ]

This file has been generated by bibtex2html 1.52