Catherine Belleannée Olivier Ridoux Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique. 49-62 2003 22 Technique et Science Informatiques 1 http://tsi.revuesonline.com/article.jsp?articleId=4646 db/journals/tsi/tsi22.html#BelleanneeR03