Christophe Benoit Axiomatisation des Tests. 89-107 1985 35 Theor. Comput. Sci. db/journals/tcs/tcs35.html#Benoit85