par Geeraerts, Gilles ;Raskin, Jean-François ;Van Begin, Laurent
Référence International journal of foundations of computer science, 21, 2, page (135-165)
Publication Publié, 2010
Article révisé par les pairs