Spécification algébrique de types de données à accès concurrent — Stéphane Kaplan