Here are the books of Petri Reseau Exercice.