Didier Bert Types algébriques et sémantique des langages de programmation. 30-43 1980 conf/programm/1980 Symposium on Programming db/conf/programm/programm80.html#Bert80