Fondements mathématiques de l'informatique - Stern, Jacques, 1949- (McGraw-Hill, 1990)