Fondements mathématiques de l'informatique

Stern