Louis Nolin G. Ruggiu Formalization of Exel. 108-119 1973 POPL db/conf/popl/popl73.html#NolinR73