https://www.springer.com/fr/book/9783642634710#otherversion=9783642581069
https://www.springer.com/fr/book/9783642634710#otherversion=9783642581069
https://hal.archives-ouvertes.fr/cel-01148916v3/document
http://www-sop.inria.fr/members/Alain.Dervieux/