-
1par Turing Alan Mathison
North-Holland 1992Livre -
2par Turing Alan Mathison, Girard Jean-Yves, Basch Julien, Blanchard Patrice
Éditions du Seuil DL 1999Livre -
3MIT Press C 1986Livre