LF: langage de spécification de fonctions et de types de données en logique.

René Jacquart Michel Lemaître Guy Zanon LF: langage de spécification de fonctions et de types de données en logique. 1982 conf/jfplc/1982 SPLT db/conf/jfplc/jfplc1982.html#JacquartLZ82