Luc Duponcheel M. Duponcheel Acceptable Functional Programming Systems. 67-98 1986 23 Acta Inf. 1 db/journals/acta/acta23.html#DuponcheelD86