Un système X Raisonner formellement sur les programmes ML. - Sylvain Baro; Pierre Manoury (JFLA, 2003)