Pascal Lando Frédéric Fürst Gilles Kassel Anne Lapujade Premiers pas vers une ontologie générale des programmes informatiques. 25-37 2007 Actes d'IC http://www.irit.fr/GRACQ/article.php3?id_article=227 conf/f-ic/2007 db/conf/f-ic/ic2007.html#LandoFKL07