Structures de données et méthodes formelles by Marc Guyomard