Gilles Bernot

• Une sémantique algébrique pour une spécification différenciee des exceptions et des erreurs