@techreport{Dupin93, author = "de Saint-Cyr, Florence Dupin", address = "Toulouse, FRANCE", institution = "I.R.I.T.", title = "{F}ormalisation et applications de la logique des p{\'e}nalit{\'e}s", year = "1993", }